]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/problems/simple.garbage.0
projects / fireball-separation.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Implemented garbage in Num
[fireball-separation.git] / ocaml / problems / simple.garbage.0
1 $? check for eta_subterms in garbage\r
2 D x a\r
3 C x (y. y , x a)\r
4 \r
5 $! garbage may be `dangerous`\r
6 D x @\r
7 C @ (y. y, x @, x @)\r
Unnamed repository; edit this file 'description' to name the repository.