Package Info

rubygem-axiom-types


Abstract types for logic programming


Development/Languages/Ruby

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


License: MIT
URL: https://github.com/dkubb/axiom-types

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.1.1-bp152.3.13 info GA Release 2020-04-16 15 SP2
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • ruby2.5-rubygem-axiom-types
  • ruby2.5-rubygem-axiom-types-doc
  • ruby2.5-rubygem-axiom-types-testsuite
0.1.1-bp151.1.1 info GA Release 2019-07-17 15 SP1
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • ruby2.5-rubygem-axiom-types
  • ruby2.5-rubygem-axiom-types-doc
  • ruby2.5-rubygem-axiom-types-testsuite