search

Demuirgos / Lambda-Calculus

A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
MIT License
13 stars 3 forks source link

Type system types as values syntax #33

Closed Demuirgos closed 1 year ago

Demuirgos commented 1 year ago

change type declaration syntax from using special "type" keyword to align with function/value declaration using "let"