User:Lambda Fairy

Source: 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"