[ 源代码: ruby-axiom-types ]
软件包:ruby-axiom-types(0.1.1-1)
ruby-axiom-types 的相关链接
Debian 的资源:
下载源码包 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]
维护小组:
外部的资源:
- 主页 [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
- 面向对象脚本语言 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