[ ソース: ruby-axiom-types ]
パッケージ: ruby-axiom-types (0.1.1-1)
ruby-axiom-types に関するリンク
Trisquel の資源:
ruby-axiom-types ソースパッケージをダウンロード:
- [ruby-axiom-types_0.1.1-1.dsc]
- [ruby-axiom-types_0.1.1.orig.tar.gz]
- [ruby-axiom-types_0.1.1-1.debian.tar.xz]
メンテナ:
Original Maintainers:
- Debian Ruby Extras Maintainers (メールアーカイブ)
- Jonas Genannt
外部の資源:
- ホームページ [github.com]
類似のパッケージ:
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
- Interpreter of object-oriented scripting language Ruby (default version)
- または 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