Abstract types for logic programming in Ruby
Axiom-types provides a Ruby library that allows one to define types with optional constraints. It can be used for logic programming.
$
pkg install rubygem-axiom-typesSize
99.4KiB
License
MIT
Maintainer
ruby@FreeBSD.org
Dependencies
5 packages
Required by
1 packages