search

EmilyOng / AlgebraicEffect

effects system for continuation
https://songyahui.github.io/AlgebraicEffect/
0 stars 0 forks source link

Check syntax of specification #5

Closed EmilyOng closed 10 months ago

EmilyOng commented 10 months ago

Using these: https://github.com/EmilyOng/AlgebraicEffect/blob/StagedSL/parsing/lexer.mll#L39?

dariusf commented 10 months ago

That file has the concrete syntax of tokens. The grammar (with tokens shown more abstractly) is here.