typecheck unary exp
treebc47744a3d595019b1fffce4c4b3cca5ec47e0b0
-rw-r--r-- 15 .gitignore
-rw-r--r-- 44 AUTHORS
-rw-r--r-- 167 CMakeLists.txt
-rw-r--r-- 7639 LICENSE
-rw-r--r-- 1462 Makefile
-rw-r--r-- 632 README
-rw-r--r-- 158 TODO
-rwxr-xr-x 424 check_expr.sh
-rwxr-xr-x 1408 configure
drwxr-xr-x - doc
drwxr-xr-x - llvm-tests
drwxr-xr-x - moulette
drwxr-xr-x - src
drwxr-xr-x - tests