Gentle introduction to Agda

This is a presentation about Agda for Tallinn Haskell User Group

Compiling

nix develop
./watchbuild.sh