Posts tagged with "Programming Language Foundations in Agda"

• Become a Better Haskeller by Learning About Inductive Types
• Interactive Theorem Proving
• Giving a Talk on Propositions as Types
• Isomorphism and Embedding