ideas-1.8: 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 #

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

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