search

fmease / lushui

The reference compiler of the Lushui programming language
Apache License 2.0
5 stars 0 forks source link

Concise inline syntax for monadic code #94

Open fmease opened 3 years ago

fmease commented 3 years ago

Meta: Task: Expand. Like Idris's (Idris 2's ?) !-syntax. More compact than do-notation (but probably a subset thus a syntactic complement).