History for inria-internship / examples / booleans2.ml
2020-04-25
reworked examples
Francesco Mecca committed on 25 Apr 2020