Comment Comment by nextos Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda. parent nextos 6 months ago
