cube.idr icon indicating copy to clipboard operation
cube.idr copied to clipboard

verified publisher icon aatxe
→

Metadata

An implementation of the Lambda Cube in Idris.

Results 0 cube.idr issues
Sort by recently updated
recently updated
newest added

← Metadata

6
Stars
0
Forks
Watchers

Owner

verified publisher icon aatxe

Metadata

An implementation of the Lambda Cube in Idris.

Back