]> matita.cs.unibo.it Git - fireball-separation.git/shortlog
fireball-separation.git
2017-07-07 acondoluFixes to how arities are assigned and propagated
2017-06-28 acondoluMinor fixes
2017-06-27 <andrea.condoluci... still stepping on negative variables
2017-06-26 <andrea.condoluci... Problems pass, but still missing computation of arities...
2017-06-26 <andrea.condoluci... New representation of arities in variables
2017-06-26 <andrea.condoluci... Removed traces of lambda3
2017-06-22 <andrea.condoluci... Removed lambda3 + Fixed lambda4
2017-06-22 <andrea.condoluci... Updated type of terms with arities in lambda and matche
2017-06-12 <andrea.condoluci... Moved andrea's stuff to its branch
2017-06-12 <andrea.condoluci... Copy ocaml folder from sacerdot's svn repository, rev...
2017-06-12 Andrea CondoluciInitial commit