Abstract types for logic programming
https://github.com/dkubb/axiom-types
Define types with optional constraints for use within axiom and other
libraries.
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:darix:apps/rubygem-axiom-types && cd $_ - Create Badge
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| axiom-types-0.1.1.gem | 0000023552 23 KB | |
| rubygem-axiom-types.changes | 0000000140 140 Bytes | |
| rubygem-axiom-types.spec | 0000001479 1.44 KB |
Comments 0