Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
.travis.yml		.travis.yml
Cube.idr		Cube.idr
LICENSE.md		LICENSE.md
README.md		README.md
cube.ipkg		cube.ipkg

Repository files navigation

cube.idr

An implementation of the Lambda Cube in Idris.

About

An implementation of the Lambda Cube in Idris.

idris lambda-calculus lambda-cube toy-language

AGPL-3.0 license

7 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages