| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 1094 - demarcate sections in layers | Kartik K. Agaram | 2015-04-17 | 1 | -2/+2 |
| | | | | | | | We have tangled vs regular comments, but they highlight the same. So we're still at 3 colors for comments. Anything more starts to seem gratuitous. | ||||
| * | 1085 - to access variants of sum types use 'maybe-convert' | Kartik K. Agaram | 2015-04-17 | 1 | -1/+1 |
| | | |||||
| * | 1083 - start of a sum type for mu | Kartik K. Agaram | 2015-04-17 | 1 | -0/+1 |
| | | |||||
| * | 1077 | Kartik K. Agaram | 2015-04-17 | 1 | -0/+1 |
| | | |||||
| * | 1075 | Kartik K. Agaram | 2015-04-17 | 1 | -0/+167 |