Skip to content

Home

Jump to bottom
Andrew Johnson edited this page Dec 26, 2023 · 8 revisions

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

  1. Syntax Reference
  2. Target Platforms
Clone this wiki locally