ruby-axiom-types

Ruby module for abstract types for logic programming
  https://github.com/dkubb/axiom-types
  0
  no reviews


This package provides a Ruby module that allows one to define types with optional constraints for use within axiom and other libraries. It can be used for logic programming.