Geeks
simhu
simhu Home
simhu GitHub
16
Repos
1
Star
40
Followers
11
Following
simhu's Stars
mortberg/
cubicaltt
Experimental implementation of Cubical Type Theory
Language:
Haskell
567
76