]>
2008-06-26 | Enrico Tassi | more work | blob | commitdiff | raw |
2008-06-26 | Enrico Tassi | few more steps | blob | commitdiff | raw | diff to current |
2008-06-26 | Enrico Tassi | more work | blob | commitdiff | raw | diff to current |
2008-06-26 | Enrico Tassi | some more work | blob | commitdiff | raw | diff to current |
2008-06-26 | Enrico Tassi | more work on q | blob | commitdiff | raw | diff to current |
2008-06-25 | Enrico Tassi | some more work | blob | commitdiff | raw | diff to current |
2008-06-25 | Enrico Tassi | better, reparsable, notation | blob | commitdiff | raw | diff to current |
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 |