Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Ideas.Text.OpenMath.FMP
Description
Formal mathematical properties (FMP)
Documentation
Constructors
FMP | |
Fields
|
ideas-1.7: Feedback services for intelligent tutoring systems
Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Ideas.Text.OpenMath.FMP
Description
Formal mathematical properties (FMP)
Constructors
FMP | |
Fields
|