]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f4a4fb) | patch
Simplified arity_of, precompute_edible_data, critical_showsteppers
authoracondolu <andrea.condoluci@unibo.it>
Sat, 22 Jul 2017 19:34:23 +0000 (21:34 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:11:36 +0000 (11:11 +0200)
commit4674dd787b5141c8aa22339d497ba671f4435da5
tree9eced2912ea50b7d0cbc4c4d3fc59efc53b0b5bbtree | snapshot
parent1f4a4fb9ab5f503457b0c1403c53ed84fb9031accommit | diff
Simplified arity_of, precompute_edible_data, critical_showsteppers

(cherry picked from commit 4c81587c5f911c4d5f818765106bb5373967d715)
ocaml/lambda4.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.