パッケージ: ruby-axiom-types (0.1.1-1.1)

[ ソース: 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.

その他の ruby-axiom-types 関連パッケージ

• dep: ruby

  オブジェクト指向スクリプト言語 Ruby のインタプリタ (デフォルト版)

  または ruby-interpreter

  パッケージは利用できません

• 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

ruby-axiom-types のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
all	9.9 kB	74.0 kB	[ファイル一覧]