aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)AuthorFilesLines
2018-07-01Fix grammarCamil Staps1-1/+1
2016-10-06List notation shortcut (resolves #5)Camil Staps1-1/+4
2016-10-06Adds a trace codeCamil Staps1-0/+3
2016-09-25Added code: add, eq, ge, gt, le, lt, neCamil Staps1-1/+30
2016-09-25Update documentation: graph rewriting, code names listCamil Staps2-1/+22
2016-09-24Remove strictness annotations from docCamil Staps1-1/+1
2016-09-24Added commentsCamil Staps1-2/+6
2016-09-24Removed strictness paragraph from docs; doesn't apply anymoreCamil Staps1-49/+0
2016-08-26Add examples to docCamil Staps4-1/+183
2016-08-26Added strictness annotationsCamil Staps1-1/+2
2016-08-26Added code construct to grammarCamil Staps1-0/+1
2016-08-25Initial commitCamil Staps3-0/+73