Hacker News
- An introduction to property-based testing with QuickCheck https://jesper.sikanda.be/posts/quickcheck-intro.html 3 comments
Lobsters
- Don't worry (about writing Haskell), be happy (writing Agda instead) https://jesper.sikanda.be/posts/agda2hs.html 7 comments haskell
- Formalize all the things (in Agda) https://jesper.sikanda.be/posts/formalize-all-the-things.html 3 comments plt , programming