]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e5e194) | patch
Fix no_leading_lambdas to account for a step on x on an argument starting with x
authoracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 16:29:30 +0000 (18:29 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 16:29:30 +0000 (18:29 +0200)
commit27a3d2f1379f6fff89d7de2d82f7066b8cc0f31a
treee2e274d952909ac7387a8251d0cb2bdeff5cb2b0tree | snapshot
parent6e5e1945c99404f171f90a93c18c336aaeaab546commit | diff
Fix no_leading_lambdas to account for a step on x on an argument starting with x
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.