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 44 weeks |
Browse archives
Active forum topics |
Recent comments
40 weeks 20 hours ago
40 weeks 23 hours ago
40 weeks 1 day ago
1 year 10 weeks ago
1 year 14 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 18 weeks ago
1 year 23 weeks ago
1 year 23 weeks ago