]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39ebd9f) | patch
Improved pretty-printing
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 18:21:39 +0000 (20:21 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:09:57 +0000 (11:09 +0200)
commitdcb2ece094f794f4e9f4f98b92f378998e92a919
tree52f327dba6c1459cc8b3f3e61c051a4f02ebafebtree | snapshot
parent39ebd9f3ad03d165e6aa7431f27d9bcd945e206fcommit | diff
Improved pretty-printing

- Num does not use print_name anymore
- Original names of free variables are preserved
- bound variables' names start with x

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