| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-08-07 | useful inference related material | Csaba Hruska |
| 2017-07-10 | Update refactor.plan | Csaba Hruska |
| 2017-06-14 | add more typesig | Csaba Hruska |
| 2017-06-13 | add type signatures | Csaba Hruska |
| 2017-05-29 | plan | Csaba Hruska |
 |
index : lambdacube-compiler.git | |
| summaryrefslogtreecommitdiff |
path: root/refactor.plan