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 4 weeks |
Browse archives
Active forum topics |
Recent comments
1 day 21 hours ago
2 days 48 min ago
2 days 54 min ago
22 weeks 3 days ago
26 weeks 5 days ago
28 weeks 2 days ago
28 weeks 2 days ago
31 weeks 4 hours ago
35 weeks 4 days ago
35 weeks 4 days ago