Armchair type theorist and language enthusiast. Studies Haskell, Agda, Ancient Greek, Sumerian, Akkadian, Latin and Old English.