Improve handling of predicate app / definition in Langium grammar / parser

smucclaw / lam4

A functional (and hopefully in the near future, solver-aided) DSL for the law

MIT License

2 stars 0 forks source link

Closed ym-han closed 14 hours ago

ym-han commented 5 days ago

[x] Refactor infix predicate application
[x] Add postfix predicate application (including a special case for nullary predicates)