Copyright | (c) DIKU 2016-present |
---|---|
License | EUPLv1.1 |
Stability | experimental |
Safe Haskell | Safe |
Language | Haskell2010 |
Ast
Description
All .mrk
files are parsed as a list of Judgement
s, as defined below.
Documentation
Constructors
Comment (Mood, [CommentPart]) |
Constructors
Property (String, PropertyExp) |
data PropertyExp Source #
Instances