projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3e2ce9) | patch
reorganized examples directory
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 29 Mar 2011 11:15:27 +0000 (04:15 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 29 Mar 2011 11:15:27 +0000 (04:15 -0700)
commitcaa7ad74b99b34abc5181553e66423da6bdfee26
tree01cf4c674001e3a6589fa02ff4fc2e81a5afded4tree | snapshot
parente3e2ce9cb83acdd8191049b4e9bd3d4fcf6a4db4commit | diff
reorganized examples directory
13 files changed:
examples/BiGArrow.hs [new file with mode: 0644] blob
examples/CircuitExample.hs [new file with mode: 0644] blob
examples/CommandSyntaxExample.hs [new file with mode: 0644] blob
examples/DotProduct.hs [new file with mode: 0644] blob
examples/GArrowTutorial.hs [new file with mode: 0644] blob
examples/GArrowVerilog.hs [new file with mode: 0644] blob
examples/ImmutableHeap.hs [new file with mode: 0644] blob
examples/IsomorphismForCodeTypes.hs [new file with mode: 0644] blob
examples/LambdaCalculusInterpreter.hs [new file with mode: 0644] blob
examples/RegexMatcher.hs [new file with mode: 0644] blob
examples/TypeSafeRun.hs [new file with mode: 0644] blob
examples/Unflattening.hs [new file with mode: 0644] blob
examples/tutorial.hs [deleted file] blob | history
Coq proofs and code accompanying the HetMet extensions for GHC