| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Add hyperref package. | Edward Z. Yang | 2014-07-09 | 1 | -0/+1 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | [docs/backpack] Get lint to stop complaining | Edward Z. Yang | 2014-07-09 | 1 | -6/+6 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Scott's updates to the impl paper. | Edward Z. Yang | 2014-07-09 | 1 | -25/+92 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Private axiom comment in Backpack | Edward Z. Yang | 2014-07-07 | 1 | -2/+27 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Minor edits to Backpack design doc | Edward Z. Yang | 2014-07-02 | 1 | -19/+92 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Finish up incomplete sections | Edward Z. Yang | 2014-07-02 | 1 | -90/+230 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Finish the simple elaboration algo | Edward Z. Yang | 2014-07-02 | 1 | -20/+41 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Backpack docs: Compilation, surface syntax, and package database | Edward Z. Yang | 2014-07-01 | 1 | -92/+434 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Minor updates to Backpack docs. | Edward Z. Yang | 2014-06-28 | 1 | -7/+10 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Lots of rewrites to further move toward new world order | Edward Z. Yang | 2014-06-26 | 1 | -479/+291 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | The linking restriction, no shaping necessary. | Edward Z. Yang | 2014-06-25 | 1 | -165/+332 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Describe signature mini-backpack. | Edward Z. Yang | 2014-06-24 | 1 | -28/+96 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | More updates to Backpack impl docs. | Edward Z. Yang | 2014-06-23 | 2 | -17/+146 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | More fixes and updates to implementation document | Edward Z. Yang | 2014-06-20 | 2 | -76/+264 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | Finish the rest of the writeup. | Edward Z. Yang | 2014-06-19 | 1 | -81/+242 | |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| * | In progress Backpack implementation docs. | Edward Z. Yang | 2014-06-18 | 8 | -0/+327 | |
| Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||||
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |