User loginNavigation |
pigworkerPersonal informationScotland 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. History13 years 6 days |
Browse archives
Active forum topics
|
Recent comments
18 weeks 5 days ago
23 weeks 13 hours ago
24 weeks 4 days ago
24 weeks 4 days ago
27 weeks 2 days ago
31 weeks 6 days ago
32 weeks 38 min ago
32 weeks 3 days ago
32 weeks 3 days ago
35 weeks 1 day ago