[ Källkod: ruby-axiom-types ]
Paket: ruby-axiom-types (0.1.1-1.1)
Länkar för ruby-axiom-types
Debianresurser:
Hämta källkodspaketet ruby-axiom-types:
- [ruby-axiom-types_0.1.1-1.1.dsc]
- [ruby-axiom-types_0.1.1.orig.tar.gz]
- [ruby-axiom-types_0.1.1-1.1.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
- Interpreter of object-oriented scripting language Ruby (default version)
- eller ruby-interpreter
- Paketet inte tillgängligt
-
- 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
Hämta ruby-axiom-types
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| all | 9,9 kbyte | 74,0 kbyte | [filförteckning] |