Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ruby >> ruby-axiom-types
etiona  ] [  nabia  ] [  aramo  ]
[ ソース: ruby-axiom-types  ]

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

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 関連パッケージ

  • 依存
  • 推奨
  • 提案

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 12.2 kB81 kB [ファイル一覧]