Super Haskell: an introduction to Agda by André Muricy

Outline: Syntax (defining types, functions etc) Simple proofs Simple programming Dependently typed programming (sigma and pi types) Code and more from the presentation André Muricy FP developer at Ada Beat. Venue sponsor Kivra Video sponsor Ada Beat Merch If you want to spread functional programming and support the channel, buy something from the shop: , funcprogsweden