Skip to content

sitr.us

type theory

View all tags
Category Theory proofs in Idris

type theory, functional programming, Idris