projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1569640) | patch
syntax update in KappaDemo.hs
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 4 Oct 2011 18:28:26 +0000 (13:28 -0500)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 4 Oct 2011 18:28:26 +0000 (13:28 -0500)
commit15997af66c1c4e0202a9fbed37af35fa67187aea
tree113b120427137843d051ddec9ec52b64e3a16540tree | snapshot
parent15696408ed7f683d0a6cc89f381867819a29c240commit | diff
syntax update in KappaDemo.hs
examples/KappaDemo.hs diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC