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 Experiment] add special record/union/tuples syntax #32

Open Demuirgos opened 1 year ago

Demuirgos commented 1 year ago

record 1 level "optics" (the dot operator) tuple deconstruction and fst snd functions union match expression