]>
2017-07-10 | acondolu | Arity inherited only in the case (true, min_int) |
commit | commitdiff | tree |
2017-07-10 | acondolu | new_arity = old_arity + 1 |
commit | commitdiff | tree |
2017-07-07 | acondolu | Fixes to how arities are assigned and propagated |
commit | commitdiff | tree |
2017-07-07 | acondolu | Added new calculus |
commit | commitdiff | tree |
2017-07-07 | acondolu | Finished proposal! |
commit | commitdiff | tree |
2017-07-07 | acondolu | Finished proposal? |
commit | commitdiff | tree |
2017-07-07 | acondolu | Working on Abella |
commit | commitdiff | tree |
2017-07-07 | acondolu | Added Andrea's research proposal for Marco Polo grant |
commit | commitdiff | tree |
2017-06-28 | acondolu | Minor fixes |
commit | commitdiff | tree |
2017-06-12 | Andrea Condoluci | Initial commit |
commit | commitdiff | tree |