discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Linking pages
Seven Levels of Type Safety in Haskell: Lists · in Code
https://blog.jle.im/entry/levels-of-type-safety-haskell-lists.html
8 comments
Jesper Cockx - Formalize all the things (in Agda)
https://jesper.sikanda.be/posts/formalize-all-the-things.html
3 comments
Related searches:
Search whole site:
site:personal.cis.strath.ac.uk
See
how to search
.
Submit link to:
Hacker News
Reddit
Lobsters
Twitter
Mastodon