ideas-1.3.1: 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