Skip to content


  • Arctic Code Vault Contributor


  1. Mathematical proofs in Agda

    Agda 2

  2. Type-safe vectors in F#


  3. Talks I have given


  4. A toy red-black tree, aiming to be as correct as possible by construction


289 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2021

Created 2 commits in 1 repository
Opened 1 pull request in 1 repository
1 merged
Reviewed 4 pull requests in 4 repositories
G-Research/TypeEquality 1 pull request
G-Research/fsharp-formatting-conventions 1 pull request
fsprojects/fantomas 1 pull request
Smaug123/ClassicalCiphers.jl 1 pull request

Created an issue in fsprojects/fantomas that received 8 comments

Indentation of Else block

Issue created from fantomas-online Code let foo () = if a then 3 else doThing() 5 Result let foo () = if a then 3 else doThing () 5 Problem descr…

0 of 3 8 comments

Seeing something unexpected? Take a look at the GitHub profile guide.