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 almost 4 years ago Download File
rubygem-axiom-types.changes 149 Bytes about 2 years ago Download File
rubygem-axiom-types.spec 1.44 KB almost 4 years ago Download File

Comments for home:eisest:gitlab (0)

Login required, please login or signup in order to comment