GitHub - kirkdsayre/elision: The Elision Term Rewriter

Name		Name	Last commit message	Last commit date
Latest commit History 1,056 Commits
Elision		Elision
.gitignore		.gitignore
.project		.project
.travis.yml		.travis.yml
travis.sh		travis.sh

About

The Elision Term Rewriter

elision.github.com

Report repository

Releases

Packages

No packages published

Languages

Scala 98.0%
Shell 1.2%
Other 0.8%