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

5 Commits

Author SHA1 Message Date
Glen Whitney ae0a798c7b docs: Update to reflect pending changes in the Spoofax Tutorial/Reference 2021-02-03 16:24:47 -08:00
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 50dce6b265 docs: Document section 5.1.2 
Note still need to implement and document command-line running
  of these strategies.
 2021-01-17 10:15:32 -08:00
Glen Whitney 2357e1f220 docs: Add section 4.2 
Also update to latest revision of mkdocs semiliterate plugin. Up next:
  using SPT as an alternate means of running Stratego.
 2021-01-15 09:57:30 -08:00
Glen Whitney 56b8b921dc docs: Initiate building documentation with mkdocs 
Also lay out the structure of the documentation and supply a decent
  introduction. Also (unsuccessfully) attempt to get the first example of
  a Stratego transformation from the manual implemented and documented.
 2021-01-12 08:41:01 -08:00