aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
AgeCommit message (Collapse)Author
2024-12-02Moved the checks in a dedicated libraryChimrod
2023-10-01Added the git revision in the codeChimrod
2023-09-29Switched to sedlex instead of ocamllexChimrod
2023-09-25Name clash correctionChimrod
2023-09-25Renamed the main applicationChimrod
2023-09-25Added a type checkerChimrod
2023-09-22first commitChimrod