Package: ruby-axiom-types (0.1.1-3)

[ Source: ruby-axiom-types  ]

Ruby module for abstract types for logic programming

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.

Other Packages Related to ruby-axiom-types

• dep: ruby-descendants-tracker (>= 0.0.4)

  Ruby module that adds descendant tracking to a class

• dep: ruby-ice-nine (>= 0.11.0)

  Ruby module to deep freeze objects

• dep: ruby-thread-safe (>= 0.3.1)

  thread-safe collections and utilities for Ruby

Download ruby-axiom-types

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	12.1 kB	82.0 kB	[list of files]