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


666a6921196c8bea334158985fb1bca61dee0fe5
[ghc-hetmet.git] / compiler / coq
Reading blob failed.
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)