smucclaw / lam4

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

Add doubles type to Langium grammar and backend #64

Open ym-han opened 2 weeks ago