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

October 11, 2023


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

Code and more from the presentation
https://gist.github.com/amuricys/5710e9a45705765ec11d1e3879e9ed4e

André Muricy
https://www.linkedin.com/in/amuricys/

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.