]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/problems/simple.2
projects / fireball-separation.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
One garbage pt. 2
[fireball-separation.git] / ocaml / problems / simple.2
1 $! simple: C diverges in pure (simplified from simple.1 (1))\r
2 D v0 v1 (x. y. z. v2 y) (v5 v6)\r
3 C v7 (v0 v1 v5 (x. x) (x. x) (x. x) (x. v8 v9)) (v0 v1 v5 (x. v2) v1 v5 (x. x)) (v8 v10 v5 (v5 v8 v6 v8 v5 (v5 v6) v8) v10 v10 v6)\r
Unnamed repository; edit this file 'description' to name the repository.