/fotc

Agda formalisation of FOTC (First-Order Theory of Combinators).

Primary LanguageAgdaMIT LicenseMIT

Stargazers