すべてのオプション
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: ruby-axiom-types  ]

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

ruby-axiom-types に関するリンク

Screenshot

Debian の資源:

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

  • 依存
  • 推奨
  • 提案
  • enhances

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

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