| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-11-02 | add loops | Melody Horn | -1/+1 | |
| 2020-11-02 | define compile-time vs runtime behavior | Melody Horn | -2/+2 | |
| 2020-10-31 | settle on a tagged union plan (for now) | Melody Horn | -1/+1 | |
| 2020-10-31 | define and annotate some language elements | Melody Horn | -0/+17 | |
 |
index : spec | |
| specification for the Crowbar C replacement |
| aboutsummaryrefslogtreecommitdiff |