projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 1998-08-24 10:53:41 by sof]
[ghc-hetmet.git] / ghc / tests / specialise / clausify000 / clausify000.stdout
1 prop> a <= 
2 prop> 
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)