AlphaPeu commune
ehatti/peridot
A fast functional language based on two level type theory
Archivé : ce dépôt n’évolue plus
- Propriétaire
- ehatti (compte personnel)
- Étoiles
- Étoiles : 393
- Forks
- Forks : 6
- Langage
- Haskell
- Licence
- MPL-2.0
- Création
- 2020
- Sujets
- dependent-typessystems-languageprogramming-languagetype-theoryhaskellproglangs-discord
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- nix-community/nix-vscode-extensionsÉtoiles : 399HaskellAlpha
- haskell-numerics/hmatrixÉtoiles : 398HaskellAlpha
- nomeata/incredibleÉtoiles : 398HaskellAlpha
- ekmett/adÉtoiles : 390HaskellAlpha
- well-typed/opticsÉtoiles : 389HaskellAlpha
- knupfer/haskell-emacsÉtoiles : 387HaskellAlpha