Agda Think Tank This is my collection of studies, proofs, programs, notes and some experiments in Agda. It contains stuff from logical foundations from PLFA, to lambda calculus implementations, card games simulation and Monads studies.