[ Quellcode: ruby-axiom-types ]
Paket: ruby-axiom-types (0.1.1-3)
Links für ruby-axiom-types
Debian-Ressourcen:
Quellcode-Paket ruby-axiom-types herunterladen:
- [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]
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu 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-sichere Sammlungen und Dienstprogramme für Ruby
ruby-axiom-types herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 12,1 kB | 82,0 kB | [Liste der Dateien] |