Safe Haskell | Safe-Inferred |
---|
Documentation
type Core_Judgements = [Core_Judgement]Source
data Core_TypeRule Source
data Core_UserStatement Source
Safe Haskell | Safe-Inferred |
---|
type Core_Judgements = [Core_Judgement]Source
data Core_TypeRule Source
data Core_UserStatement Source