aboutsummaryrefslogtreecommitdiff
path: root/syntax/type_of.ml
AgeCommit message (Expand)Author
2023-09-29Do not raise warning on empty comparaisonChimrod
2023-09-25Added a type checkerChimrod