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 45 weeks |
Browse archives
Active forum topics |
Recent comments
1 week 7 hours ago
41 weeks 2 days ago
41 weeks 2 days ago
41 weeks 2 days ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 17 weeks ago
1 year 17 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago