Open audrey-jardin opened 4 weeks ago
update definition of 'check count' operators when traffic-light example will be supported by the compiler.
update also slides of the CRML tutorial
update definition of 'check count' operators when traffic-light example will be supported by the compiler.