Explore projects
-
Eric Bailey / Type-Driven Development with Idris
MIT LicenseSolutions to exercises from Type-Driven Development with Idris by Edwin Brady, and tests thereof.
UpdatedUpdated -
ualib / ualib.gitlab.io
Creative Commons Attribution Share Alike 4.0 InternationalDocumentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras
Updated -
Always wanted to get more out of your type system? HERE YOU GO, BUDDY
Updated -
-
Boyd Stephen Smith Jr. / grtt
GNU Affero General Public License v3.0My experiments around GRTT
Updated