aboutsummaryrefslogtreecommitdiff
path: root/syntax/type_of.ml
AgeCommit message (Collapse)Author
2023-10-06Moved qparser and syntax in the library folderChimrod
2023-10-03Variable shallowing made me lost somes errors. Should be better nowChimrod
2023-09-29Added strict type comparaisonChimrod
2023-09-29Improved the error message in comparaisonsChimrod
2023-09-29Do not raise warning on empty comparaisonChimrod
2023-09-25Added a type checkerChimrod