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


d7f127c8a414b49b83bf59ab71a43cfd12eb57f5
-rw-r--r-- 13436 haskell.sty blob | raw
-rw-r--r-- 11649 vect.tex blob | raw
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)