K 10
svn:author
V 6
swills
K 8
svn:date
V 27
2014-03-29T15:58:48.080722Z
K 7
svn:log
V 246
Axiom-types provides a Ruby library that allows one to define types with
optional constraints. It can be used for logic programming.

WWW: https://github.com/dkubb/axiom-types

PR:		ports/188002
Submitted by:	Michael Moll <kvedulv at kvedulv.de>

END