AlphaPeu commune
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
- Propriétaire
- mortberg (compte personnel)
- Étoiles
- Étoiles : 609
- Forks
- Forks : 76
- Langage
- Haskell
- Licence
- MIT
- Création
- 2015
- Sujets
- cubical-type-theorytype-theoryhomotopy-type-theoryunivalent-foundations
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- Gabriella439/graceÉtoiles : 623HaskellAlpha
- tomjaguarpaw/haskell-opaleyeÉtoiles : 619HaskellAlpha
- brendanhay/amazonkaÉtoiles : 616HaskellAlpha
- kadena-io/pactÉtoiles : 606HaskellAlpha
- xmonad/xmonad-contribÉtoiles : 602HaskellAlpha
- z0w0/helmÉtoiles : 597HaskellAlpha