glen
/
spoofax_prop
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
17 Commits 2 Branches 0 Tags 128 KiB
Commit Graph

3 Commits

Author SHA1 Message Date
Glen Whitney ba130ecb0f feat: Implement Chapter9 
Also provides proper associativity on the operators, to avoid
  ambiguous parses.

  This completes all of the examples in the Spoofax Tutorial/Reference
  that use the propositional signature.
 2021-01-22 09:29:57 -08:00
Glen Whitney d5a19e0d69 feat: Finish Chapter 5 2021-01-19 21:00:56 -08:00
Glen Whitney a33c1585d6 feat: Implement Sec 5.3.1 tests 
And put in generic documentation for all the remaining tests.
  If any particular tests need individual commentary, it can always be
  added later.
 2021-01-19 19:29:48 -08:00