3 ms·
Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
by nextos 6mo ago
Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
- peterpost2 6mo agoI had not heard of Agda before, I'll have to check that out. Thanks!