ideas-1.8: Feedback services for intelligent tutoring systems
Ideas.Common.Rewriting.AutoTerm
Description
toTermG :: Data a => a -> Term Source #
fromTermG :: (MonadPlus m, Data a) => Term -> m a Source #
testTermFor :: (Data a, Eq a) => a -> Bool Source #