Implement check of bidirectionalizability.
-rw-r--r-- 9285 AST.hs
-rw-r--r-- 2259 BUtil.hs
-rw-r--r-- 2488 BundledCode.hs
-rw-r--r-- 150 BundledCode.hsb
-rw-r--r-- 4197 CodeGen.hs
-rw-r--r-- 74296 JQuery.hs
-rw-r--r-- 152 JQuery.hsb
-rw-r--r-- 12386 Main.hs
-rw-r--r-- 202 Makefile
-rw-r--r-- 4862 MyInterpret.hs
-rw-r--r-- 8780 Parser.hs
-rw-r--r-- 31878 SemSyn.hs
-rw-r--r-- 46 Setup.hs
-rw-r--r-- 6990 Shapify.hs
-rw-r--r-- 11001 Type.hs
-rw-r--r-- 1128 Util.hs
-rw-r--r-- 18087 b18n-combined-cgi.hs
-rw-r--r-- 1205 b18n-combined.cabal
drwxr-xr-x - example
-rw-r--r-- 72174 jquery.min.js
-rw-r--r-- 604 testcgi.py