axiom-types 0.0.3
Abstract types for logic programming
Gemfile:
=
installieren:
=
Runtime Abhängigkeiten (2):
descendants_tracker
~> 0.0.1
ice_nine
~> 0.9
Development Abhängigkeiten (1):
bundler
>= 1.3.5, ~> 1.3