axiom-types 0.0.2
Abstract types for logic programming
Gemfile:
=
安装:
=
Runtime 依赖 (3):
Development 依赖 (1):
bundler
>= 1.3.5, ~> 1.3
Abstract types for logic programming