aboutsummaryrefslogtreecommitdiff
path: root/errors.ml
AgeCommit message (Expand)Author
2017-11-24Moved all the code to src directorySébastien Dailly
2017-10-24Update sheet traversalSébastien Dailly
2017-01-01Use gadt for function catalogSébastien Dailly