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 (show merged sources derived from linked package)

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:Ximi1970:Servers:Gitlab:10.6-stable:Staging (0)