]>
2012-12-23 | Ferruccio Guidi | - we introduced the pointer_step rc in the perspective... | blob | commitdiff | raw |
2012-12-21 | Ferruccio Guidi | some renaming ... | blob | commitdiff | raw | diff to current |
2012-12-11 | Ferruccio Guidi | - pointer structure simplified | blob | commitdiff | raw | diff to current |
2012-12-09 | Ferruccio Guidi | - lambda: first half of the standardization theorem... | blob | commitdiff | raw | diff to current |
2012-12-08 | Ferruccio Guidi | - new pointes can point to any subterm | blob | commitdiff | raw | diff to current |