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


0c2e87fa29a0df1d20c7bc2880d4d9c14b4352ae
-rw-r--r-- 779 Makefile blob | raw
-rw-r--r-- 1555 a4wide.sty blob | raw
-rw-r--r-- 2373 code.sty blob | raw
-rw-r--r-- 42468 core.tex blob | raw
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)