Skip to content
Sections
>> Trisquel >> Pakiety >> aramo >> ruby >> ruby-axiom-types
[  etiona  ] [  nabia  ] [  aramo  ]
[ Pakiet źródłowy: ruby-axiom-types  ]

Pakiet: 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.

Inne pakiety związane z ruby-axiom-types

  • wymaga
  • poleca
  • sugeruje

Pobieranie ruby-axiom-types

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 12,2 KiB81 KiB [lista plików]