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


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