]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9217a9c) | patch
Fixed bug where x occurs as its stepped argument. Is this linear anymore?
authoracondolu <andrea.condoluci@unibo.it>
Tue, 6 Mar 2018 21:11:44 +0000 (22:11 +0100)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 14:32:24 +0000 (16:32 +0200)
commit0dd15aa7265036c77e788c2c215316ff02f91945
tree206186df5741b9a6ee4d333bf5a35cfff0149878tree | snapshot
parent9217a9c086c873ed7b1697bf53380945d2f1792acommit | diff
Fixed bug where x occurs as its stepped argument. Is this linear anymore?
ocaml/andrea9.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.