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