“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