[ Källkod: ruby-axiom-types ]
Paket: ruby-axiom-types (0.1.1-3)
Länkar för ruby-axiom-types
Debianresurser:
Hämta källkodspaketet ruby-axiom-types:
- [ruby-axiom-types_0.1.1-3.dsc]
- [ruby-axiom-types_0.1.1.orig.tar.gz]
- [ruby-axiom-types_0.1.1-3.debian.tar.xz]
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med ruby-axiom-types
|
|
|
|
-
- dep: ruby-descendants-tracker (>= 0.0.4)
- Ruby module that adds descendant tracking to a class
-
- dep: ruby-ice-nine (>= 0.11.0)
- Ruby module to deep freeze objects
-
- dep: ruby-thread-safe (>= 0.3.1)
- thread-safe collections and utilities for Ruby
Hämta ruby-axiom-types
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
all | 12,1 kbyte | 82,0 kbyte | [filförteckning] |