LogoopenSUSE Build Service > Projects
Sign Up | Log In

Abstract types for logic programming

Define types with optional constraints for use within axiom and other

Source Files

Filename Size Changed Actions
axiom-types-0.1.1.gem 23 KB Download File
rubygem-axiom-types.changes 140 Bytes Download File
rubygem-axiom-types.spec 1.44 KB Download File

Comments for home:darix:apps (0)

Login required, please login or signup in order to comment