]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca67701) | patch
Implemented garbage in Num
authoracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 11:37:51 +0000 (13:37 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 11:37:51 +0000 (13:37 +0200)
commit0197354468e40860a3a104b9ea5b68854a22cfca
treefd0943657d33be414f873d7f1ba41c87b4a94084tree | snapshot
parentca6770197ebeacb27bda594a9b3d8667d8363c74commit | diff
Implemented garbage in Num

- Implemented parsing of garbage
  e.g. (x. x x , A , B , ...) where the garbage is A and B and ...
- Garbage is not implemented in Lambda4, but implemented in Num (except in subst i.e. reduction)
  (see `assert g = []`)
- Added sample problems with garbage
ocaml/lambda4.ml diff | blob | history
ocaml/num.ml diff | blob | history
ocaml/num.mli diff | blob | history
ocaml/parser.ml diff | blob | history
ocaml/problems/simple.garbage.0 [new file with mode: 0644] blob
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.