Age | Commit message (Expand) | Author | Lines |
---|---|---|---|
2020-11-02 | refactor the numeric types | Melody Horn | -0/+1 |
2020-11-02 | define compile-time vs runtime behavior | Melody Horn | -1/+1 |
2020-10-31 | settle on a tagged union plan (for now) | Melody Horn | -1/+0 |
2020-10-31 | define and annotate some language elements | Melody Horn | -2/+2 |
2020-10-29 | start to elaborate on syntax | Melody Horn | -0/+3 |
2020-10-29 | make sure toctree winds up in gemtext | Melody Horn | -11/+10 |
2020-10-29 | re-add gemtext output | Melody Horn | -0/+1 |
2020-10-28 | tidy up index | Melody Horn | -3/+1 |
2020-10-28 | rebalance introductory material | Melody Horn | -6/+46 |
2020-10-28 | start using Sphinx for doc generation | Melody Horn | -0/+30 |