ideas-1.7: Feedback services for intelligent tutoring systems

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

Ideas.Common.Rewriting.Difference

Description

Compute the difference of two terms generically, taking associativity into account.

Documentation

difference :: IsTerm a => a -> a -> Maybe (a, a) Source #

differenceWith :: View Term a -> a -> a -> Maybe (a, a) Source #