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

buggyFMP :: OMOBJ -> OMOBJ -> FMP Source

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