RCÉpique
HigherOrderCO/Kind
A modern proof language
- Propriétaire
- HigherOrderCO (organisation)
- Étoiles
- Étoiles : 3 764
- Forks
- Forks : 152
- Langage
- Haskell
- Licence
- MIT
- Création
- 2018
- Sujets
- formalitylambda-calculustype-theoryproof-languagefunctional-programmingdependent-typesmoonadproof-languagestheorem-prover
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de HigherOrderCO
Les 4 dépôts de HigherOrderCO- HigherOrderCO/HVM1Étoiles : 11 353CudaStable
- HigherOrderCO/HVM3Étoiles : 304HaskellAlpha
- HigherOrderCO/HVM4Étoiles : 125CPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- meta/ducklingÉtoiles : 4 323HaskellRC
- system-f/fp-courseÉtoiles : 4 244HaskellRC
- commercialhaskell/stackÉtoiles : 4 081HaskellRC
- input-output-hk/cardano-slÉtoiles : 3 744HaskellRC
- xmonad/xmonadÉtoiles : 3 607HaskellRC
- idris-lang/Idris-devÉtoiles : 3 478HaskellRC