]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9223a25) | patch
Code simplification + Bugfix
authoracondolu <andrea.condoluci@unibo.it>
Tue, 25 Jul 2017 11:43:18 +0000 (13:43 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 25 Jul 2017 11:49:16 +0000 (13:49 +0200)
commiteaa828c95315dcd1af183850b17fdd800661bc04
treedb3b6896e2991431b57d8cb95932df338212f1f0tree | snapshot
parent9223a25e0e3079058d498ad21da17296bd6edc82commit | diff
Code simplification + Bugfix

In case (match x ... with ...) and we are eating x,
 so we need to substitute
See problems/bugs1
ocaml/lambda4.ml diff | blob | history
ocaml/problems/bugs [deleted file] blob | history
ocaml/problems/bugs1 [new file with mode: 0644] blob
ocaml/problems/bugs2 [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.