Jesper Cockx - Don't worry (about writing Haskell), be happy (writing Agda instead)! - discu.eu

Lobsters

Don't worry (about writing Haskell), be happy (writing Agda instead) https://jesper.sikanda.be/posts/agda2hs.html 7 comments 6/10/2022 haskell

Reddit

Don't worry (about writing Haskell), be happy (writing Agda instead)! https://jesper.sikanda.be/posts/agda2hs.html 31 comments 6/10/2022 haskell

Linked pages

GitHub - agda/agda2hs: Compiling Agda code to readable Haskell https://github.com/agda/agda2hs 0 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:jesper.sikanda.be

Search title: Jesper Cockx - Don't worry (about writing Haskell), be happy (writing Agda instead)!

See how to search.

Submit link to: