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 checksum:

5b38e450721c4665ca990abfc03f96a327f62c257d58b3798eb865045ec1a439