]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b69a4c) | patch
problems now contain a label and the names of the original free variables
authoracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 17:25:23 +0000 (19:25 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 17:27:54 +0000 (19:27 +0200)
commit15c305b0d106b39616bdeea9aec9febc7539c2c1
treeaa6b37e3fafe185ae2788403b8694f3fa2bffd8ftree | snapshot
parent8b69a4c59242b64294c7065a4e85437ce3cbc32dcommit | diff
problems now contain a label and the names of the original free variables
ocaml/lambda4.ml diff | blob | history
ocaml/lambda4.mli diff | blob | history
ocaml/parser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.