projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8064e50) | patch
Makefile: use a for-loop to compile sanity checks
authorAdam Megacz <adam@megacz.com>
Mon, 30 May 2011 22:21:49 +0000 (15:21 -0700)
committerAdam Megacz <adam@megacz.com>
Mon, 30 May 2011 22:21:49 +0000 (15:21 -0700)
commitbf98ca0f77ea35aa65617cc1266b8f252cc291cc
tree33f5b94911e1f5eddd5c843cd160128a7ded84f1tree | snapshot
parent8064e50e47f40228631f8a96ba28cbfb570c76ffcommit | diff
Makefile: use a for-loop to compile sanity checks
examples/Makefile diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC