]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 608c400) | patch
First draft of Parser.problem_of_string
authoracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 16:02:19 +0000 (18:02 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 16:02:19 +0000 (18:02 +0200)
commit8b69a4c59242b64294c7065a4e85437ce3cbc32d
tree06728af0ca9c07276f2dea47ab9b7ff59012bbeftree | snapshot
parent608c40045f651c6402b17c437f997de4d63f6afdcommit | diff
First draft of Parser.problem_of_string

- problem_of_string should unify old Lambda4.problem_of and Parser.parse'
- Lambda4.problem_of was temporarily factored in problem_of_2
  and problem_of_String_tmp
ocaml/lambda4.ml diff | blob | history
ocaml/lambda4.mli diff | blob | history
ocaml/parser.ml diff | blob | history
ocaml/parser.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.