axiom-types 0.1.0
Abstract types for logic programming
Gemfile:
=
installation:
=
Dépendances de Runtime (3):
Dépendances de Development (1):
bundler
>= 1.5.2, ~> 1.5