]>
2012-12-11 | Ferruccio Guidi | - pointer structure simplified | blob | commitdiff | raw |
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 |