summaryrefslogtreecommitdiff
path: root/doc/tlc.ur
Commit message (Expand)AuthorAge
* Extend license for tutorial codeGravatar Adam Chlipala2017-03-17
* 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