Cross Reference: SentenceKindType.hs
xref
: /
hets
/
Persistence
/
Schema
/
SentenceKindType.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
module
Persistence.Schema.SentenceKindType
where
import
Database.Persist.TH
data SentenceKindType = OpenConjecture | Theorem | CounterTheorem | Axiom
deriving (Show, Read, Eq)
derivePersistField "SentenceKindType"