]>
2008-06-25 | Enrico Tassi | better, reparsable, notation | blob | commitdiff | raw |
2008-06-24 | Enrico Tassi | removed <_,_> notation second interpretation for depend... | blob | commitdiff | raw | diff to current |
2008-06-24 | Enrico Tassi | notation factored, coercion commant taking terms and... | blob | commitdiff | raw | diff to current |
2008-06-23 | Enrico Tassi | more work, but russell too slow | blob | commitdiff | raw | diff to current |
2008-06-18 | Enrico Tassi | some work on Q | blob | commitdiff | raw | diff to current |