Skip to content
sitr.us
Blog
About
Github
Mastodon
Email
type theory
View all tags
Category Theory proofs in Idris
05.05.2014
—
type theory
,
functional programming
,
Idris