projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Thu, 1 Sep 2011 04:35:17 +0000 (21:35 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Thu, 1 Sep 2011 04:35:17 +0000 (21:35 -0700) | ||
| commit | 7523e5094db5e00224ba034b00aa243e69211c9f | |
| tree | 5acc9de8041d53cbd3af2c6bfaa2547012f4c2d7 | tree | snapshot |
| parent | 6e1e4b67d01a6447f7dd44f7b5450ddc400000d9 | commit | diff |
| examples/KappaDemo.hs | [new file with mode: 0644] | blob |
| examples/Makefile | diff | blob | history |