github pages setup:
- deploy from
masterbranch from the/docsfolder
The majority of content in this repo is in /docs, which is the input to build a static site via jekyll.
/fi-trees- some JS to turn grammar trees into mermaid-js flowcharts for rendering/d3-vue-example- unused i think; was mb an experiment to draw trees with d3.js/runTex*.sh- scripts used to generate some html from/docs/**/*.texfiles for nicer equations/tutoring- some v early stuff from 'tutoring max'