more work on Hindley-Milner
-rw-r--r-- 245 Arithmetic.lc
-rw-r--r-- 1524 LICENSE
-rw-r--r-- 81 Logic.lc
-rw-r--r-- 46 Setup.hs
-rw-r--r-- 1724 fp.cabal
drwxr-xr-x - src
drwxr-xr-x - tests