4 ms·
Quite unpopular in the Haskell community as I recall.
by zerr 5y ago
Quite unpopular in the Haskell community as I recall.
- Ericson2314 5y agoHe hasn't blogged in a while, so it's fine. MLers and Haskellers both think Agda is very beautiful, and so I think this diffuses things a bit. Also his former advisee Jon Sterling is doing domain theory stuff now, so hah!
- JoelMcCracken 5y agoHe doesn’t like Haskell for various reasons. But I think Haskell devs respect his work!