ideas-1.8: Feedback services for intelligent tutoring systems

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

Ideas.Common.Rewriting.AutoTerm

Description

 

Documentation

toTermG :: Data a => a -> Term Source #

fromTermG :: (MonadPlus m, Data a) => Term -> m a Source #

testTermFor :: (Data a, Eq a) => a -> Bool Source #