aboutsummaryrefslogtreecommitdiff
path: root/tuto1/src/simple_check.ml
AgeCommit message (Expand)Author
2018-05-04finished type-checking examplesYves Bertot
2018-05-04This revision contains a simple Check command.Yves Bertot
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-01 11:30:36 +0000