git.megacz.com Git - coq-hetmet.git/blob - examples/Fail.hs

projects / coq-hetmet.git / blob

summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD

[coq-hetmet.git] / examples / Fail.hs

1 applyCircuit =

2 <[ \higherOrderCircuit -> \arg -> higherOrderCircuit arg ]>

Coq proofs and code accompanying the HetMet extensions for GHC