]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8d9c2f) | patch
Code clean-up
authoracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 12:31:30 +0000 (14:31 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 12:31:30 +0000 (14:31 +0200)
commit6bf723ba426a04a3ae5d36baf8a9fe4bffebc635
treeaca5cb7664e26f0eb5735d8aa20b10687325e0eatree | snapshot
parentc8d9c2fda6b135b29e81e3bea95520ba449b86e3commit | diff
Code clean-up

Less casts and casts in the right place
ocaml/lambda4.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.