]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2e89f8) | patch
Added safety check for step on n-th argument with n > 1
authoracondolu <andrea.condoluci@unibo.it>
Thu, 13 Jul 2017 16:24:07 +0000 (18:24 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 13 Jul 2017 16:24:07 +0000 (18:24 +0200)
commita5d76aabf64c2226b8bd8084be02f140f48c767b
tree28478a38e182410d12c314e959d356d572891d4btree | snapshot
parentb2e89f8c6a89ad675718acdf35cdd0abfafaad5acommit | diff
Added safety check for step on n-th argument with n > 1

Avoid stepping on n if there is a div/number that would be turned into
a Lambda
ocaml/lambda4.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.