Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2016-10-06 | List notation shortcut (resolves #5) | Camil Staps | 1 | -1/+4 | |
2016-10-06 | Adds a trace code | Camil Staps | 1 | -0/+3 | |
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 | |