module Persistence.Schema.SentenceKindType where
import Database.Persist.TH
data SentenceKindType = OpenConjecture | Theorem | CounterTheorem | Axiom
deriving (Show, Read, Eq)
derivePersistField "SentenceKindType"