D

dependent types

My experiments around GRTT

Agda files for the IPA course on dependent type theory

Documentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras

Always wanted to get more out of your type system? HERE YOU GO, BUDDY

Solutions to exercises from Type-Driven Development with Idris by Edwin Brady, and tests thereof.