Slides about Martin-Löf type theory

A blag containing my current adventures in logic, haskell and agents.