Skip to content
Sections
>> Trisquel >> Balíky >> aramo >> ruby >> ruby-axiom-types
etiona  ] [  nabia  ] [  aramo  ]
[ Zdroj: ruby-axiom-types  ]

Balík: 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.

Ostatné balíky súvisiace s balíkom ruby-axiom-types

  • závisí
  • odporúča
  • navrhuje

Stiahnuť ruby-axiom-types

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
all 12.2 kB81 kB [zoznam súborov]