projects / coq-hetmet.git / history
| 2011-05-31 | Adam Megacz | use -fsimpleopt-before-flatten in sanity checks | blob | commitdiff |
| 2011-05-30 | Adam Megacz | Makefile: use a for-loop to compile sanity checks | blob | commitdiff | diff to current |
| 2011-05-30 | Adam Megacz | add "sanity" target to Makefile | blob | commitdiff | diff to current |
| 2011-05-30 | Adam Megacz | add -fflatten and -funsafe-skolemize flags | blob | commitdiff | diff to current |
| 2011-05-15 | Adam Megacz | update demo | blob | commitdiff | diff to current |
| 2011-05-10 | Adam Megacz | start using type-family-based GArrow classes | blob | commitdiff | diff to current |
| 2011-05-09 | Adam Megacz | add Demo.hs | blob | commitdiff | diff to current |
| 2011-04-26 | Adam Megacz | add Makefile target for tikz demo | blob | commitdiff | diff to current |
| 2011-04-26 | Adam Megacz | add examples/Makefile | blob | commitdiff | diff to current |