PrototypeCommune
lpw25/girards-paradox
A "implementation" of Girard's paradox in OCaml
- Propriétaire
- lpw25 (compte personnel)
- Étoiles
- Étoiles : 113
- Forks
- Forks : 2
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2015
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- kit-ty-kate/labrysÉtoiles : 114OCamlPrototype
- zkat/maybe-hugsÉtoiles : 114OCamlPrototype
- tezos/tezos-mirrorÉtoiles : 114OCamlPrototype
- mirage/ocaml-cowÉtoiles : 112OCamlPrototype
- Ekdohibs/camlbootÉtoiles : 112OCamlPrototype
- ocaml-community/cppoÉtoiles : 111OCamlPrototype