Skip to content
Sections
>> Trisquel >> Paquets >> aramo >> ruby >> ruby-axiom-types
etiona  ] [  nabia  ] [  aramo  ]
[ Paquet source : ruby-axiom-types  ]

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

Autres paquets associés à ruby-axiom-types

  • dépendances
  • recommandations
  • suggestions

Télécharger ruby-axiom-types

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 12,2 ko81 ko [liste des fichiers]