It is proven! I am jmchapman on Keybase: https://keybase.io/jmchapman/sigchain#23481f7c641449f8400e52f62762ad8b4c137bbecd906a03f3bdc3a59df3306d0f
Music for hacking Agda by (RIP) https://www.youtube.com/watch?v=a4eav7dFvc8
I am interested in Martin Löf’s type theory, dependent types, intuitionistic mathematics in general, category theory, and functional programming. I am particularly interested in the semantics of type theory in type theory, and the mathematical structures arising in programming languages and logics. #haskell #agda #types #introductions #newhere
functional.cafe is an instance for people interested in functional programming and languages.