User:Lambda Fairy

From Wikipedia, the free encyclopedia

I am based in Sydney, Australia. My interests are in computer programming, in particular type theory and proof assistants.

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Lambda_Fairy&oldid=1197168688"