Skip to content

sitr.us

Github Mastodon Email

Idris

Category Theory proofs in Idris

05.05.2014 — type theory, functional programming, Idris

Copyright © 2007–2024 by Jesse Hallett.

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. Creative Commons License

Theme by LekoArts