Skip to content
Sections
>> Trisquel >> Пакеты >> aramo >> ruby >> ruby-axiom-types
etiona  ] [  nabia  ] [  aramo  ]
[ Источник: ruby-axiom-types  ]

Пакет: 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.

Другие пакеты, относящиеся к ruby-axiom-types

  • зависимости
  • рекомендации
  • предложения

Загрузка ruby-axiom-types

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 12,2 Кб81 Кб [список файлов]