Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

lpw25/girards-paradox

A "implementation" of Girard's paradox in OCaml

Owner: lpw25 (personal account)
Stars: Stars: 113
Forks: Forks: 2
Language: OCaml
License: None
Created: 2015
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in OCaml

All OCaml repos

kit-ty-kate/labrysStars: 114OCamlPrototype
zkat/maybe-hugsStars: 114OCamlPrototype
tezos/tezos-mirrorStars: 114OCamlPrototype
mirage/ocaml-cowStars: 112OCamlPrototype
Ekdohibs/camlbootStars: 112OCamlPrototype
ocaml-community/cppoStars: 111OCamlPrototype