AndrewBrinker
71
reputation
1
7
Interested in type theory and programming language design, with a particular focus on Haskell and Rust.