summaryrefslogtreecommitdiff
path: root/src/pretty_typing.ml
Commit message (Collapse)AuthorAgeFilesLines
* Added tests, corrected two failed tests.Alex AUVOLAT2013-12-051-60/+0
|
* Début du typage des expressions.Levis2013-12-051-0/+176