UnificationAssertion defines +assert_unifiable+ assertion to test if given two values are unifiable. I only made this gem because Soutaro hadn't pushed it to rubygems yet.
installgem install justinf-unification_assertion -v 0.0.1
UnificationAssertion defines +assert_unifiable+ assertion to test if given two values are unifiable. I only made this gem because Soutaro hadn't pushed it to rubygems yet.
