RubyGems.org

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
Authors

Soutaro Matsumoto

1,752 total downloads 909 for this version
Owners

D9c9fe5e31a460ddce0ee8e4cd0fb13e

Gemfile
gem 'justinf-unification_assertion', '~> 0.0.2'
Versions
  1. 0.0.2 February 29, 2012 (8 KB)
  2. 0.0.1 February 29, 2012 (8 KB)