ideas-1.3.1: Feedback services for intelligent tutoring systems

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

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 -> OMOBJ Source

eqFMP :: OMOBJ -> OMOBJ -> FMP Source

buggyFMP :: OMOBJ -> OMOBJ -> FMP Source

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