]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/problems/bugs2
43b3be569e22f68a89522d89e4b14252e657ffc5
[fireball-separation.git] / ocaml / problems / bugs2
1 $! bugs 2\r
2 # algorithm tries to step on z, but should first step on x, w\r
3 D z PAC\r
4 C x y PAC PAC\r
5 N x (@ z) @\r