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-typesOrigin
devel/rubygem-axiom-types
Size
99.4KiB
License
MIT
Maintainer
ruby@FreeBSD.org
Dependencies
5 packages
Required by
1 packages