"Super Haskell": an introduction to Agda by André Muricy

About

Func Prog Sweden is the channel for anyone interested in functional programming. The channel explore different functional programming languages like Erlang, Haskell, F#, Scala, Clojure and functional programming in general. Subscribe to the channel to learn more and to support our work of spreading functional programming. If you want to get featured on the channel and have something to present, contact the organizers by joining the FPS Discord Server and chat with Magnus or Robin If you want to spread functional programming and support the channel, buy something from the shop: https://funcprogsweden.myspreadshop.net/ #funcprogsweden