LogoopenSUSE Build Service > Projects
Sign Up | Log In

Abstract types for logic programming
https://github.com/dkubb/axiom-types

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 140 Bytes over 3 years ago Download File
rubygem-axiom-types.spec 1.44 KB over 3 years ago Download File

Comments for home:darix:apps (0)