ex
The simply typed lambda calculus with existential packages. Written in C11, compiles to C11. WIP for sure.
STLC with existential packages
The simply typed lambda calculus with existential packages. Written in C11, compiles to C11. WIP for sure.
STLC with existential packages
MIT License