Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
.gitignore		.gitignore
Again.idr		Again.idr
LICENSE		LICENSE
ListExt.idr		ListExt.idr
ListExt2.idr		ListExt2.idr
ListExt3.idr		ListExt3.idr
MacroDef.idr		MacroDef.idr
MacroInvoke.idr		MacroInvoke.idr
Main.idr		Main.idr
Project.idr		Project.idr
README.md		README.md
Tokenizer.idr		Tokenizer.idr
TypeTheory.idr		TypeTheory.idr