summaryrefslogtreecommitdiff
path: root/doc/tlc.ur
Commit message (Collapse)AuthorAge
* Tutorial proof-readingGravatar Adam Chlipala2011-07-17
|
* Tutorial: TLC meets type classes and modulesGravatar Adam Chlipala2011-07-17
|
* Tutorial: foldersGravatar Adam Chlipala2011-07-17
|
* Tutorial: up to First-Class PolymorphismGravatar Adam Chlipala2011-07-17
|
* Tutorial: Names and RecordsGravatar Adam Chlipala2011-07-17