agda-grammar

Grammars of ancient languages modeled in Agda verified against primary texts.

Name		Name	Last commit message	Last commit date
Latest commit History 134 Commits
modules		modules
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
README.md		README.md

Provide feedback