summaryrefslogtreecommitdiff
path: root/src/Errors.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-09-22Reformat the project with duneSon Ho1-1/+0
2021-11-23Change the way exceptions are usedSon Ho1-8/+1
2021-11-22Make progress on {read,write}_pathSon Ho1-0/+1
2021-11-18Start working on end_borrowSon Ho1-0/+4
2021-11-18Add an Errors.ml fileSon Ho1-0/+5