| 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 | -12/+12 |
| | | | | | Thanks Andrew Owen for reporting this typo. | ||||
| * | 5676 | Kartik Agaram | 2019-09-19 | 1 | -0/+416 |