Notes on Idris (2017) 8 years ago
Any thoughts on Agda? I've always thought that since it's embedded in Haskell, even though it's less 'practical' than Idris it would benefit from the extensive libraries that Haskell brings to the table.
moosefish
Posts0
Comments1
No posts found.
[GET] "/api/user/moosefish/stories?hitsPerPage=30&page=0": 500 Failed to fetch user stories