]>
2021-06-17 | Ferruccio Guidi | update in alpha_1 | tree | commitdiff |
2020-02-27 | Ferruccio Guidi | ground_2 released and permanently renamed as ground | tree | commitdiff |
2020-01-08 | Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 | tree | commitdiff |
2019-11-19 | Ferruccio Guidi | λδ-2B is released | tree | commitdiff |
2019-11-18 | Ferruccio Guidi | update for the article | tree | commitdiff |
2018-05-03 | Ferruccio Guidi | notational update in lambdadelta completed | tree | commitdiff |
2017-01-22 | Ferruccio Guidi | - degree-based equivalene for terms | tree | commitdiff |