Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-09-25 | Added code: add, eq, ge, gt, le, lt, ne | Camil Staps | 1 | -1/+30 |
2016-09-25 | Update documentation: graph rewriting, code names list | Camil Staps | 2 | -1/+22 |
2016-09-24 | Remove strictness annotations from doc | Camil Staps | 1 | -1/+1 |
2016-09-24 | Added comments | Camil Staps | 1 | -2/+6 |
2016-09-24 | Removed strictness paragraph from docs; doesn't apply anymore | Camil Staps | 1 | -49/+0 |
2016-08-26 | Add examples to doc | Camil Staps | 4 | -1/+183 |
2016-08-26 | Added strictness annotations | Camil Staps | 1 | -1/+2 |
2016-08-26 | Added code construct to grammar | Camil Staps | 1 | -0/+1 |
2016-08-25 | Initial commit | Camil Staps | 3 | -0/+73 |