--- !ruby/object:Gem::Specification
name: mini_kraken
version: !ruby/object:Gem::Version
  version: 0.1.11
platform: ruby
authors:
- Dimitri Geshef
autorequire: 
bindir: exe
cert_chain: []
date: 2020-06-25 00:00:00.000000000 Z
dependencies:
- !ruby/object:Gem::Dependency
  name: bundler
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '2.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '2.0'
- !ruby/object:Gem::Dependency
  name: rake
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '12.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '12.0'
- !ruby/object:Gem::Dependency
  name: rspec
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '3.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '3.0'
description: Implementation of Minikanren language in Ruby. WIP
email:
- famished.tiger@yahoo.com
executables: []
extensions: []
extra_rdoc_files:
- README.md
files:
- ".rspec"
- ".travis.yml"
- CHANGELOG.md
- Gemfile
- LICENSE.txt
- README.md
- Rakefile
- lib/mini_kraken.rb
- lib/mini_kraken/core/any_value.rb
- lib/mini_kraken/core/association.rb
- lib/mini_kraken/core/association_walker.rb
- lib/mini_kraken/core/atomic_term.rb
- lib/mini_kraken/core/base_arg.rb
- lib/mini_kraken/core/binary_relation.rb
- lib/mini_kraken/core/composite_goal.rb
- lib/mini_kraken/core/composite_term.rb
- lib/mini_kraken/core/conj2.rb
- lib/mini_kraken/core/cons_cell.rb
- lib/mini_kraken/core/def_relation.rb
- lib/mini_kraken/core/designation.rb
- lib/mini_kraken/core/disj2.rb
- lib/mini_kraken/core/duck_fiber.rb
- lib/mini_kraken/core/environment.rb
- lib/mini_kraken/core/equals.rb
- lib/mini_kraken/core/fail.rb
- lib/mini_kraken/core/formal_arg.rb
- lib/mini_kraken/core/formal_ref.rb
- lib/mini_kraken/core/freshness.rb
- lib/mini_kraken/core/goal.rb
- lib/mini_kraken/core/goal_arg.rb
- lib/mini_kraken/core/goal_relation.rb
- lib/mini_kraken/core/goal_template.rb
- lib/mini_kraken/core/k_boolean.rb
- lib/mini_kraken/core/k_integer.rb
- lib/mini_kraken/core/k_symbol.rb
- lib/mini_kraken/core/nullary_relation.rb
- lib/mini_kraken/core/outcome.rb
- lib/mini_kraken/core/relation.rb
- lib/mini_kraken/core/succeed.rb
- lib/mini_kraken/core/term.rb
- lib/mini_kraken/core/variable.rb
- lib/mini_kraken/core/variable_ref.rb
- lib/mini_kraken/core/vocabulary.rb
- lib/mini_kraken/glue/fresh_env.rb
- lib/mini_kraken/glue/run_star_expression.rb
- lib/mini_kraken/version.rb
- mini_kraken.gemspec
- spec/core/association_spec.rb
- spec/core/association_walker_spec.rb
- spec/core/conj2_spec.rb
- spec/core/cons_cell_spec.rb
- spec/core/def_relation_spec.rb
- spec/core/disj2_spec.rb
- spec/core/duck_fiber_spec.rb
- spec/core/environment_spec.rb
- spec/core/equals_spec.rb
- spec/core/fail_spec.rb
- spec/core/goal_spec.rb
- spec/core/goal_template_spec.rb
- spec/core/k_boolean_spec.rb
- spec/core/k_symbol_spec.rb
- spec/core/outcome_spec.rb
- spec/core/succeed_spec.rb
- spec/core/variable_ref_spec.rb
- spec/core/variable_spec.rb
- spec/core/vocabulary_spec.rb
- spec/glue/fresh_env_spec.rb
- spec/glue/run_star_expression_spec.rb
- spec/mini_kraken_spec.rb
- spec/spec_helper.rb
- spec/support/factory_methods.rb
homepage: https://github.com/famished-tiger/mini_kraken
licenses:
- MIT
metadata: {}
post_install_message: 
rdoc_options:
- --charset=UTF-8 --exclude="examples|spec"
require_paths:
- lib
required_ruby_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '0'
required_rubygems_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '0'
requirements: []
rubygems_version: 3.0.3
signing_key: 
specification_version: 4
summary: Implementation of Minikanren language in Ruby. WIP
test_files:
- spec/core/association_spec.rb
- spec/core/association_walker_spec.rb
- spec/core/conj2_spec.rb
- spec/core/cons_cell_spec.rb
- spec/core/def_relation_spec.rb
- spec/core/disj2_spec.rb
- spec/core/duck_fiber_spec.rb
- spec/core/environment_spec.rb
- spec/core/equals_spec.rb
- spec/core/fail_spec.rb
- spec/core/goal_spec.rb
- spec/core/goal_template_spec.rb
- spec/core/k_boolean_spec.rb
- spec/core/k_symbol_spec.rb
- spec/core/outcome_spec.rb
- spec/core/succeed_spec.rb
- spec/core/variable_ref_spec.rb
- spec/core/variable_spec.rb
- spec/core/vocabulary_spec.rb
- spec/glue/fresh_env_spec.rb
- spec/glue/run_star_expression_spec.rb
- spec/mini_kraken_spec.rb