ideas-1.1: Feedback services for intelligent tutoring systems

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

Ideas.Encoding.OpenMathSupport

Contents

Description

 

Synopsis

Conversion functions to/from OpenMath

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

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

noMixedFractions :: OMOBJ -> OMOBJSource

toOMOBJ :: IsTerm a => a -> OMOBJSource

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