lambda-cube topic
List
lambda-cube repositories
cube.idr
6
Stars
0
Forks
Watchers
An implementation of the Lambda Cube in Idris.
