-
-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Andrew Johnson edited this page Dec 31, 2023
·
8 revisions
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 LM which is the stable interface.