4 ms·
He 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
by Ericson2314 5y ago
He 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!