Mercurial > urweb
log doc/tlc.ur
age | author | description |
---|---|---|
2011-07-17 | Adam Chlipala | Tutorial proof-reading |
2011-07-17 | Adam Chlipala | Tutorial: TLC meets type classes and modules |
2011-07-17 | Adam Chlipala | Tutorial: folders |
2011-07-17 | Adam Chlipala | Tutorial: up to First-Class Polymorphism |
2011-07-17 | Adam Chlipala | Tutorial: Names and Records |