GenericML.hs revision 7b07d9655900f3b6baf20ac45a4cd29d26b807ad
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachmodule GenericML where
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachimport ModalLogic
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescuimport Text.ParserCombinators.Parsec
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill Mossakowskiinstance ModalLogic Kars Grules where
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach parseIndex = do l <- letter
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach ;Kars i <- parseIndex
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach ;return (Kars (l:i))
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder <|> do return (Kars [])
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach-------------------------------------------------------------------------------