Bit of a grab bag of changes --- I should have split it up into multiple PRs:
Most important: Refactors deontics in Langium grammar and ConcreteSyntax.hs and adds more documentation / comments, along with examples
Add initial WIP draft of AST with symbolic types
Misc other tweaks, e.g. adding syntax for record declarations and de-emphasizing, at least for now, Sigs/Relations (e.g. Join is disabled now in the Langium grammar)
Note: This PR introduces changes in the Langium grammar that have not yet been integrated into the typechecker or Parser.hs. So, e.g.,
The scoping for records is currently broken (and there is no type checking for records)
Parser.hs does not currently work with the the constructs that have been either added (e.g. the normative ones) or changed in this PR
I'm going to merge this in anyway, because I want to be able to demo the syntax for normative constructs / get a discussion going around that.
Bit of a grab bag of changes --- I should have split it up into multiple PRs:
Note: This PR introduces changes in the Langium grammar that have not yet been integrated into the typechecker or Parser.hs. So, e.g.,
I'm going to merge this in anyway, because I want to be able to demo the syntax for normative constructs / get a discussion going around that.