GitHub - leo-leesco/Computational-Logic-TD6: Inductive types · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
Bool.agda		Bool.agda
Div2.agda		Div2.agda
Gauss.agda		Gauss.agda
List.agda		List.agda
Nat.agda		Nat.agda
Vector.agda		Vector.agda

About

Inductive types

www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/TD/6.inductive.html

inductive-types

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%