| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 5804 | Kartik Agaram | 2019-12-08 | 1 | -6/+6 |
| | | | | | | Try to make the comments consistent with the type system we'll eventually have. | ||||
| * | 5698 | Kartik Agaram | 2019-10-15 | 1 | -16/+16 |
| | | | | | Thanks Andrew Owen for reporting this typo. | ||||
| * | 5687 | Kartik Agaram | 2019-09-23 | 1 | -0/+413 |
| Move stack operations to a layer of their own. It was some short-term pain to take out the syntax sugar from it, but we need access to this layer from braces, which can't depend on sugar since it's part of sugar. Just simpler to keep one clear line and not have to build sometimes with some sugar but not others. | |||||