Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: ruby-axiom-types  ]

Paket: ruby-axiom-types (0.1.1-1.1)

Links für ruby-axiom-types

Screenshot

Debian-Ressourcen:

Quellcode-Paket ruby-axiom-types herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu ruby-axiom-types

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

ruby-axiom-types herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 9,9 kB74,0 kB [Liste der Dateien]