Overview Repositories Revisions Requests Users Attributes Meta

Abstract types for logic programming

Edit Package rubygem-axiom-types
https://github.com/dkubb/axiom-types

Define types with optional constraints for use within axiom and other
libraries.

  • Download package
  • osc -A https://api.opensuse.org checkout home:darix:apps/rubygem-axiom-types && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
axiom-types-0.1.1.gem 0000023552 23 KB
rubygem-axiom-types.changes 0000000140 140 Bytes
rubygem-axiom-types.spec 0000001479 1.44 KB
Latest Revision
Marcus Rueckert's avatar Marcus Rueckert (darix) committed (revision 1) 
- import of my packages
Comments 0
openSUSE Build Service is sponsored by
Places