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 2 weeks |
Browse archives
Active forum topics
|
Recent comments
20 weeks 4 days ago
24 weeks 6 days ago
26 weeks 3 days ago
26 weeks 3 days ago
29 weeks 1 day ago
33 weeks 6 days ago
33 weeks 6 days ago
34 weeks 2 days ago
34 weeks 2 days ago
37 weeks 17 hours ago