[Haskell-cafe] Concept for "equal but unknown"

Marcin Mrotek marcin.jan.mrotek at gmail.com
Fri Oct 2 14:45:58 UTC 2015


Do you mean something like variable unification in Prolog or Oz? Maybe
something like this could help you:
or https://hackage.haskell.org/package/unification-fd Disclaimer: I've
never used either of those packages.

Best regards,
Marcin Mrotek

More information about the Haskell-Cafe mailing list