axiom-types 0.1.0
Abstract types for logic programming
Gemfile:
=
複製
已複製
安裝:
=
Runtime 相依性套件 (3):
Development 相依性套件 (1):
bundler
>= 1.5.2, ~> 1.5