smucclaw / lam4

A functional (and hopefully in the near future, solver-aided) DSL for the law
MIT License
1 stars 0 forks source link

[Lam4-backend Parser] Write a backend parser that parses in the ('minimal ast' version of the) concrete syntax json from Langium parser #44

Closed ym-han closed 2 months ago