robrix / path

A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
84 stars 2 forks source link

Haskell-style layout #48

Open robrix opened 5 years ago

robrix commented 5 years ago

It’d be nice if we could use a haskell-style layout rule allowing either braces-and-semicolons or indentation to delimit specific pieces of syntax.

This is not super important right now since the only multiline syntax is modules, but would be pretty valuable once we have e.g. do-notation (cf #2) and case expressions (cf #37); it would make machine generation of path syntax a lot simpler.