]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a50c39) | patch
Change to compute_special_k
authoracondolu <andrea.condoluci@unibo.it>
Sat, 22 Jul 2017 22:33:00 +0000 (00:33 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 11:46:39 +0000 (13:46 +0200)
commit6f8c64dcbe6b864cb0f9417bfab284e398337ae3
tree47909d3c18f14061b041e4e2c9b72149bbb8b6ddtree | snapshot
parent0a50c398d9eef65620f18f99ef675770b50a920ccommit | diff
Change to compute_special_k

Now the special_k taked into account the number or arguments (arity) of
terms. This solves problem "low special_k" in problems/w
ocaml/lambda4.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.