Name		Name	Last commit message	Last commit date
Latest commit History 97 Commits
.gitignore		.gitignore
LICENSE.txt		LICENSE.txt
README.md		README.md
desc.agda		desc.agda
infer.agda		infer.agda
inject.agda		inject.agda
mgu.agda		mgu.agda
nat.agda		nat.agda
term.agda		term.agda
test.agda		test.agda

Repository files navigation

InferAgda

README

using Agda 2.4.2.4 agda-stdlib-0.9

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%