ideas-1.1: Feedback services for intelligent tutoring systems

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

Ideas.Text.OpenMath.FMP

Description

Formal mathematical properties (FMP)

Synopsis

Documentation

data FMP Source

Constructors

FMP 

Fields

quantor :: Symbol
 
metaVariables :: [String]
 
leftHandSide :: OMOBJ
 
relation :: Symbol
 
rightHandSide :: OMOBJ
 

toObject :: FMP -> OMOBJSource

eqFMP :: OMOBJ -> OMOBJ -> FMPSource

buggyFMP :: OMOBJ -> OMOBJ -> FMPSource

Represents a common misconception. In certain (most) situations, the two objects are not the same.