summaryrefslogtreecommitdiff
path: root/tests/source/half.scade
Commit message (Expand)AuthorAgeFilesLines
* Actually, it works.Alex Auvolat2014-06-191-1/+1
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-181-0/+29