]> matita.cs.unibo.it Git - helm.git/blob - weblib/ricciott/test.ma
A first example that uses a status monad where the status is a tree.
[helm.git] / weblib / ricciott / test.ma
1 (* new script *)
2
3 include "While/syntax.ma".