projects / coq-hetmet.git / history
| 2011-04-25 | Adam Megacz | update GArrowTikZ.hs; still not finished, though | tree | commitdiff |
| 2011-04-24 | Adam Megacz | add Unify.hs to examples | tree | commitdiff |
| 2011-04-10 | Adam Megacz | add skeleton of GArrowTikZ | tree | commitdiff |
| 2011-03-29 | Adam Megacz | tweak comments in examples | tree | commitdiff |
| 2011-03-29 | Adam Megacz | reorganized examples directory | tree | commitdiff |
| 2011-03-28 | Adam Megacz | fallback plan: turn all CoreSyn coercions into unsafeCoerce | tree | commitdiff |
| 2011-03-27 | Adam Megacz | uncomment more of the tutorial | tree | commitdiff |
| 2011-03-22 | Adam Megacz | update tutorial for new GArrow classes | tree | commitdiff |
| 2011-03-21 | Adam Megacz | comment out portions of the tutorial which do not yet... | tree | commitdiff |
| 2011-03-19 | Adam Megacz | checkpoint | tree | commitdiff |
| 2011-03-16 | Adam Megacz | expand tutorial.hs, include justification for scoping... | tree | commitdiff |
| 2011-03-14 | Adam Megacz | add tutorial to the repository | tree | commitdiff |