projects / coq-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ec996e8)
update to use Control.GArrow instead of GHC.HetMet.GArrow
authorAdam Megacz <megacz@cs.berkeley.edu>
Fri, 20 Apr 2012 05:41:07 +0000 (22:41 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sun, 13 Apr 2014 19:09:37 +0000 (12:09 -0700)

No differences found
Coq proofs and code accompanying the HetMet extensions for GHC