ideas-1.7: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Encoding.OpenMathSupport

Contents

Description

 

Synopsis

Conversion functions to/from OpenMath

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

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

noMixedFractions :: OMOBJ -> OMOBJ Source #

toOMOBJ :: IsTerm a => a -> OMOBJ Source #

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