projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adc57ef) | patch
expand tutorial.hs, include justification for scoping changes
authorAdam Megacz <megacz@cs.berkeley.edu>
Wed, 16 Mar 2011 09:45:03 +0000 (02:45 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Wed, 16 Mar 2011 09:45:03 +0000 (02:45 -0700)
commit132fd8b8ed861301b0ed38d286770003ea18396b
tree9b618046b34f6a14f47092e639f380c963cc08cdtree | snapshot
parentadc57ef5613ef2c5befc28071c5e2ae71859e14ccommit | diff
expand tutorial.hs, include justification for scoping changes
examples/tutorial.hs diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC