lambda-cube topic

List lambda-cube repositories

cube.idr

6
Stars
0
Forks
Watchers

An implementation of the Lambda Cube in Idris.

verified publisher icon aatxe

henk

144
Stars
20
Forks
Watchers

🧊 Чиста система з всесвітами

verified publisher icon groupoid