Home » user account

pigworker

Personal information


Scotland

male

Conor McBride is a functional programmer and a type theorist. He helped to design version one of the Epigram programming language and continues to hinder the design of version two.


Functional programming, dependent types, Haskell, Epigram, Agda, Coq.

History


12 years 50 weeks