“Super Haskell”: an introduction to Agda by André Muricy

October 11, 2023

– Syntax (defining types, functions etc)
– Simple proofs
– Simple programming
– Dependently typed programming (sigma and pi types)

Code and more from the presentation

André Muricy

Check out more from the MeetUp Func Prog Sweden. Func Prog Sweden is the community for anyone interested in functional programming. At the MeetUps the community explore different functional languages like Erlang, Elixir, Haskell, Scala, Clojure, OCaml, F# and more.