Mathematics teacher interested in type theory and functional programming π¨βπ»
- Christchurch, New Zealand
-
06:20
(UTC 13:00) - syntakticsugar.github.io/babel/
CiarΓ‘n Dunne
ciaran-matthew-dunne
enjoyer of set theory, proof assistants, formal mathematics.
Heriot-Watt University Edinburgh
Severen Redwood
severen
Systems developer at SiteHost by day, compiler developer by night.
@sitehostnz Auckland, New Zealand
Keetley
goose-swansworth
I am a masters student with interests in algorithm development, machine learning, computer graphics and computational mathematics.