]> matita.cs.unibo.it Git - fireball-separation.git/commit
Using C instead of @ to combine more convergents in p.conv
authoracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 15:28:28 +0000 (17:28 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 15:28:28 +0000 (17:28 +0200)
commit4c8bae70924de6b904f150a0c4696554fbf9d5db
tree9f3cd5602a5945712503d214daec1b5e997bd639
parent6e922f4eb4a947f1e3a9a957f465102e143164f1
Using C instead of @ to combine more convergents in p.conv
ocaml/simple.ml