]> matita.cs.unibo.it Git - fireball-separation.git/commit
Detect useless stepping when selecting the eta-different subterms
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 13:05:06 +0000 (15:05 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 15:01:36 +0000 (17:01 +0200)
commite896eda9771bf0e9fd6cee3c8c9f25314d9d6736
treeb100ee33f7d33a2bdb476a86c0ede64f3517354d
parent9baecd2c43f39dd9c86b5a8f003bda19f821a66a
Detect useless stepping when selecting the eta-different subterms
ocaml/simple.ml