Age | Commit message (Expand) | Author |
---|---|---|
2023-09-29 | Allow differents file encoding for the source | Chimrod |
2023-09-29 | Switched to sedlex instead of ocamllex | Chimrod |
2023-09-25 | Name clash correction | Chimrod |
2023-09-25 | Renamed the main application | Chimrod |
2023-09-25 | Added a type checker | Chimrod |
2023-09-22 | first commit | Chimrod |