projects / ghc-hetmet.git / tree
? search:


942b3a15a314479c53e2f43586167c9028de8564
-rw-r--r-- 333 Jmakefile blob | raw
-rw-r--r-- 5805 Main.hs blob | raw
-rw-r--r-- 40 clausify000.stdin blob | raw
-rw-r--r-- 18 clausify000.stdout blob | raw
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)