LogoopenSUSE Build Service > Projects
Sign Up | Log In

Abstract types for logic programming

Define types with optional constraints for use within axiom and other
libraries.

Source Files

Filename Size Changed Actions
axiom-types-0.1.1.gem 23 KB over 3 years ago Download File
rubygem-axiom-types.changes 149 Bytes over 1 year ago Download File
rubygem-axiom-types.spec 1.44 KB over 3 years ago Download File

Comments for home:eisest:gitlab (0)