]> matita.cs.unibo.it Git - fireball-separation.git/commit
Check for absence of bombs and pacmans
authoracondolu <andrea.condoluci@unibo.it>
Sun, 23 Jul 2017 20:22:41 +0000 (22:22 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 11:50:51 +0000 (13:50 +0200)
commitb277f630cb63b40ae983282ea81ffefe288d3e8f
treea02a9f425cdd96ca4589ccf97a54988e9e720c90
parentbd3a8ee424e495ab4003f6d4cb88579f29e3bc3a
Check for absence of bombs and pacmans
ocaml/lambda4.ml
ocaml/num.ml