/stlc-ocaml

Simply Typed Lambda Calculus, implemented in Ocaml

Primary LanguageOCaml

Watchers