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

[ 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

  Interpreter of object-oriented scripting language Ruby (default version)

  or ruby-interpreter

  Package not available

• dep: ruby-descendants-tracker

  Ruby module that adds descendant tracking to a class

• dep: ruby-ice-nine

  Ruby module to deep freeze objects

• dep: ruby-thread-safe

  thread-safe collections and utilities for Ruby

Download ruby-axiom-types

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	9.9 kB	74.0 kB	[list of files]