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

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

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

ruby-axiom-types herunterladen

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