start using type-family-based GArrow classes

[coq-hetmet.git] / examples / Unify.dump-coqpass

diff --git a/examples/Unify.dump-coqpass b/examples/Unify.dump-coqpass
new file mode 100644 (file)
index 0000000..e69de29