GitHub - roboguy13/agda-stuff: Category theory, and other things, in Agda · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
S4-STLC		S4-STLC
calc		calc
category-theory		category-theory
cont		cont
parametricity		parametricity
realizability		realizability
sets		sets
Calc.agda		Calc.agda
Lambda-bak.agda		Lambda-bak.agda
Lambda-bak2.agda		Lambda-bak2.agda
Lambda.agda		Lambda.agda
Reals.agda		Reals.agda

About

Category theory, and other things, in Agda

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages