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. History12 years 50 weeks |
Browse archives
Active forum topics
|
Recent comments
16 weeks 1 day ago
20 weeks 3 days ago
22 weeks 7 hours ago
22 weeks 7 hours ago
24 weeks 5 days ago
29 weeks 2 days ago
29 weeks 2 days ago
29 weeks 5 days ago
29 weeks 5 days ago
32 weeks 4 days ago