]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f69cf08) | patch
Fix: nested `Lambda(false,_) were not handled correctly
authoracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 15:39:37 +0000 (17:39 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 25 May 2018 08:17:41 +0000 (10:17 +0200)
commit415e18c6bfb1bbd125123ff9eb22b2caa7c42187
treed8657c966bf3aeb7f1036326c15d12c32ea0f954tree | snapshot
parentf69cf0859dd68582a4f44df43610f2514bfc0416commit | diff
Fix: nested `Lambda(false,_) were not handled correctly

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