Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Ideas.Text.OpenMath.Tests
Description
Documentation
propEncoding :: Property Source #
ideas-1.8: 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.Tests
Description
propEncoding :: Property Source #