Ideas.Encoding.OpenMathSupport

Conversion functions to/from OpenMath

toOpenMath :: Monad m => Exercise a -> a -> m OMOBJ

fromOpenMath :: MonadPlus m => Exercise a -> OMOBJ -> m a

noMixedFractions :: OMOBJ -> OMOBJ

toOMOBJ :: IsTerm a => a -> OMOBJ

fromOMOBJ :: (MonadPlus m, IsTerm a) => OMOBJ -> m a