]>
2020-03-05 | Ferruccio Guidi | update in standard library | commit | commitdiff |
2015-01-07 | Claudio Sacerdoti... | ... | commit | commitdiff |
2014-10-21 | Claudio Sacerdoti... | Typos. | commit | commitdiff |
2014-09-11 | Claudio Sacerdoti... | ... | commit | commitdiff |
2014-09-10 | Claudio Sacerdoti... | New chapter on setoids. | commit | commitdiff |
2014-09-10 | Claudio Sacerdoti... | chapter12 (coinductive) -> chapter13 | commit | commitdiff |
2014-08-29 | Claudio Sacerdoti... | Notes. | commit | commitdiff |
2014-08-29 | Claudio Sacerdoti... | A tentative chaptern on coinductive types. | commit | commitdiff |