thih-1.0: Typing Haskell In Haskell
SourcePrelude
savePrelude :: IO ()Source
preludeDefns :: [BindGroup]Source
hugsSpecific :: [BindGroup]Source
preludeMems :: [BindGroup]Source