]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5d76aa) | patch
return type of simplify_match improved (no `Match in output)
authoracondolu <andrea.condoluci@unibo.it>
Thu, 13 Jul 2017 16:52:32 +0000 (18:52 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 13 Jul 2017 16:52:32 +0000 (18:52 +0200)
commitf635df1a27defb6e7c0aa290b4d040a16f748bf2
tree4a863f77bd3fc7e340c7c8994f08648c82e865c1tree | snapshot
parenta5d76aabf64c2226b8bd8084be02f140f48c767bcommit | diff
return type of simplify_match improved (no `Match in output)
ocaml/lambda4.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.