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


49fdbda12fda1b8b4753835f4e18561b8567dc19
[ghc-hetmet.git] / ghc / tests / specialise / clausify003 / clausify003.stdout
1 prop> a <= 
2 prop> 
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)