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
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.
