Home

PunCalculus is an Intermediate Representation based on the Simply Typed Lambda Calculus.

If you are considering using this in one of your projects, then you probably are looking for λ☶ which is the stable interface.

1. Syntax Reference
2. Target Platforms
3. Type System