LangToGroup-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

GP2SR

Documentation

gp2sr :: MonadFail m => Order Element -> GroupPresentation -> m StringRewriting Source #

gp2sr' :: MonadFail m => GroupPresentation -> m StringRewriting Source #