work on type inference some more
[ccc.git] / sem / hm /
drwxr-xr-x   ..
-rw-r--r-- 1419 gamma.c
-rw-r--r-- 486 gamma.h
-rw-r--r-- 1465 scheme.c
-rw-r--r-- 425 scheme.h
-rw-r--r-- 2855 subst.c
-rw-r--r-- 614 subst.h