axiom-types 0.0.1

Abstract types for logic programming

Gemfile:
= Copier Copié!

installation:
=

Versions:

0.1.1 - March 27, 2014 (23 ko)
0.1.0 - January 21, 2014 (23 ko)
0.0.5 - October 06, 2013 (21,5 ko)
0.0.4 - September 29, 2013 (21,5 ko)
0.0.3 - August 22, 2013 (21 ko)
0.0.1 - March 17, 2013 (17 ko)

Voir toutes les versions (7)

Dépendances de Runtime (3):

backports >= 3.1.1, ~> 3.1

descendants_tracker ~> 0.0.1

ice_nine ~> 0.7.0

Dépendances de Development (3):

rake ~> 10.0.3

rspec ~> 2.13.0

yard ~> 0.8.5

Show all transitive dependencies

Propriétaires:

Auteurs:

Dan Kubb

Total de contrôle SHA 256:

5b38e450721c4665ca990abfc03f96a327f62c257d58b3798eb865045ec1a439