axiom-types 0.0.1

Abstract types for logic programming

Gemfile:
=

安裝:
=

版本列表:

0.1.1 March 27, 2014 (23.0 KB)
0.1.0 January 21, 2014 (23.0 KB)
0.0.5 October 06, 2013 (21.5 KB)
0.0.4 September 29, 2013 (21.5 KB)
0.0.3 August 22, 2013 (21.0 KB)
0.0.1 March 17, 2013 (17.0 KB)

顯示所有版本（共 7）

Runtime 相依性套件 (3):

backports >= 3.1.1, ~> 3.1

descendants_tracker ~> 0.0.1

ice_nine ~> 0.7.0

Development 相依性套件 (3):

rake ~> 10.0.3

rspec ~> 2.13.0

yard ~> 0.8.5

Show all transitive dependencies

擁有者:

作者:

Dan Kubb

SHA 256 總和檢查碼:

=