GitHub - sborrazas/agda-tutorial: My solutions for the Agda tutorial http://people.inf.elte.hu/divip/AgdaTutorial/Index.html · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Functions		Functions
Sets		Sets
Syntax		Syntax
.gitignore		.gitignore
Constants.agda		Constants.agda
Term_Inference.agda		Term_Inference.agda

About

My solutions for the Agda tutorial http://people.inf.elte.hu/divip/AgdaTutorial/Index.html

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%