PrototypeCommune
mmirman/caledon
higher order dependently typed logic programing
- Propriétaire
- mmirman (compte personnel)
- Étoiles
- Étoiles : 174
- Forks
- Forks : 9
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2012
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de mmirman
Les 3 dépôts de mmirman- mmirman/MentisOculiÉtoiles : 245PythonPrototype
- mmirman/conpigÉtoiles : 108PythonPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- purescript/pursuitÉtoiles : 174HaskellPrototype
- passy/android-lint-summaryÉtoiles : 174HaskellPrototype
- haskell-streaming/streamingÉtoiles : 174HaskellPrototype