Skip to content
Sections
>> Trisquel >> Pakete >> nabia >> ruby >> ruby-axiom-types
etiona  ] [  nabia  ] [  aramo  ]
[ Quellcode: ruby-axiom-types  ]

Paket: ruby-axiom-types (0.1.1-1)

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

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • dep: ruby
    Interpreter of object-oriented scripting language Ruby (default version)
    oder ruby-interpreter
    Paket nicht verfügbar
  • 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

ruby-axiom-types herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 9,8 kB74 kB [Liste der Dateien]