wtf Merge branch 'master' of https://github.com/ucsd-progsys/liquid-f…

…ixpoint
ucsd-progsys · Oct 2, 2015 · c063f0e · c063f0e
2 parents a1818aa + 458e03d
commit c063f0e
Show file tree

Hide file tree

Showing 2 changed files with 8,007 additions and 0 deletions.
diff --git a/tests/todo/int-name.fq b/tests/todo/int-name.fq
@@ -0,0 +1,2 @@
+
+qualif Bot(v : intfoo): (0 = 1)