[ Source: ruby-axiom-types ]
Package: ruby-axiom-types (0.1.1-3)
Links for ruby-axiom-types
Debian Resources:
Download Source Package 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]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Ruby-modul for abstrakte typer af logisk programmering
Denne pakke tilbyder et Ruby-modul, som giver mulighed for at definere typer med valgfrie begrænsninger for brug inden i axiom og andre biblioteker. Det kan bruges til logisk programmering.
Other Packages Related to ruby-axiom-types
|
|
|
|
-
- dep: ruby-descendants-tracker (>= 0.0.4)
- Ruby-modul som tilføjer efterkommersporing til en klasse
-
- dep: ruby-ice-nine (>= 0.11.0)
- Ruby-modul til dyb frysning af objekter
-
- dep: ruby-thread-safe (>= 0.3.1)
- Trådsikre samlinger og redskaber for Ruby
Download ruby-axiom-types
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 12.1 kB | 82.0 kB | [list of files] |