factorizing Type1_From ast Type0
[haskell/symantic.git] / Language / Symantic / Trans / Bool / Const /
drwxr-xr-x   ..
-rw-r--r-- 796 Test.hs