ideas-1.2: Feedback services for intelligent tutoring systems
Ideas.Text.OpenMath.Object
Description
data OMOBJ Source
Constructors
Instances
getOMVs :: OMOBJ -> [String]Source
xml2omobj :: XML -> Either String OMOBJSource
omobj2xml :: OMOBJ -> XMLSource