search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Linear lambda calculus to FGG #4

Closed davidweichiang closed 3 years ago

davidweichiang commented 3 years ago

Close this?