Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename hypothetical -> speculative | Aleksey Kladov | 2020-08-14 | 1 | -1/+1 |
| | |||||
* | Remove Hygiene from completion | Aleksey Kladov | 2020-08-13 | 3 | -59/+65 |
| | |||||
* | Minor | Aleksey Kladov | 2020-08-13 | 1 | -6/+12 |
| | |||||
* | Rename ra_ide -> ide | Aleksey Kladov | 2020-08-13 | 18 | -0/+6880 |