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

Пакунок: 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.

Інші пакунки пов'язані з ruby-axiom-types

  • depends
  • recommends
  • suggests
  • dep: ruby
    Interpreter of object-oriented scripting language Ruby (default version)
    or ruby-interpreter
    Пакунок недоступний
  • 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

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 9.8 kB74 kB [список файлів]