"Super Haskell": an introduction to Agda by André Muricy - Ada Beat - discu.eu

Reddit

"Super Haskell": an introduction to Agda by André Muricy https://adabeat.com/fps/super-haskell-an-introduction-to-agda-by-andre-muricy/ 31 comments 14/4/2025 programminglanguages

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

Related searches:

Search whole site: site:adabeat.com

Search title: "Super Haskell": an introduction to Agda by André Muricy - Ada Beat

See how to search.

Submit link to: