/girards-paradox

A "implementation" of Girard's paradox in OCaml

Primary LanguageOCaml

This repository is not active