permui/SystemF1

Implementation of the first-order typed lambda calculus as a CLI proof system.

Rust