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

Comments for home:Ximi1970:Servers:Gitlab:10.6-stable:Staging (0)