.rspec | 100644 | 0 | 0 | | | 53 Bytes | 06245e25d7cf46b4fbde27b5faa0df0d4110e11918eeb5848de4ab2aff897b59 |
.rubocop.yml | 100644 | 0 | 0 | | | 5.05 KB | 4710b4b8e5ca3a2a7e4ed71aa3f866fbf43b1d1ea8a6abc4337a46fa3605ef23 |
.travis.yml | 100644 | 0 | 0 | | | 152 Bytes | 6a215d809451ea63864295a1d1444ac476835f5221cf7010a28ab2b22dac4edf |
CHANGELOG.md | 100644 | 0 | 0 | | | 6.83 KB | 1fdbdb6a6f28971de145f7738ceb8b0fceacb58c86747d7f261fd54cb460e8a1 |
Gemfile | 100644 | 0 | 0 | | | 127 Bytes | 18409819b8bca48944f77310a7a8a03e44daceb466503a929aea51849da77b02 |
LICENSE.txt | 100644 | 0 | 0 | | | 1.06 KB | df3eb6ad147afd4f70d062627288edda0273e2493de0c9d4397d66fbe34f1798 |
README.md | 100644 | 0 | 0 | | | 5.06 KB | 8e4bb30b4ece4cf11b019518b21d19ca1c98c8eed8cca581474e16a320e09df0 |
Rakefile | 100644 | 0 | 0 | | | 145 Bytes | 9e1ba08392e6ad5aff02b757932420c6b4497d9340053e7b5279c524d427ad17 |
lib/mini_kraken.rb | 100644 | 0 | 0 | | | 316 Bytes | c42d64f11337c2dfe16b09d4ff8c171a85788c33e8029d30a39f7a98915929a9 |
lib/mini_kraken/core/any_value.rb | 100644 | 0 | 0 | | | 758 Bytes | 9825fd0841cf438e1116db52bbc0a3d2f20405a60b3426a4a5be90673f366e1a |
lib/mini_kraken/core/association.rb | 100644 | 0 | 0 | | | 993 Bytes | 815dff5b88960c507aaf410d3e3025ac1027427c35fefbe6ba59aba8dcd90844 |
lib/mini_kraken/core/association_walker.rb | 100644 | 0 | 0 | | | 5.28 KB | 5f98cdee980f3a3eacd8206849b4d51e9e4bf1ba897c0df1f09e6f7cabb9db4d |
lib/mini_kraken/core/atomic_term.rb | 100644 | 0 | 0 | | | 1.68 KB | ff14ad4cf30f4c42aad149cf76ae0b2e4cd1423396d39920423715c56596c260 |
lib/mini_kraken/core/base_arg.rb | 100644 | 0 | 0 | | | 238 Bytes | 84560d71cd6790ef1209f00c3753a9da4121e9e66a6722367cd6a8a5dd7180d8 |
lib/mini_kraken/core/binary_relation.rb | 100644 | 0 | 0 | | | 2.06 KB | 991f8da5036ce9eca1ab2a11c08bf2dcb895464f56f7efa926cf4bfdb02892cd |
lib/mini_kraken/core/composite_goal.rb | 100644 | 0 | 0 | | | 1.37 KB | 7081ec8c1b75b5fc3c8b0b76ae7a9ecee3c52fcdbe834e08db55990774332545 |
lib/mini_kraken/core/composite_term.rb | 100644 | 0 | 0 | | | 1.19 KB | bb538471bed707e26117db9239e59a1590801d3d6d8cc432d7802cac2ce45a1d |
lib/mini_kraken/core/conde.rb | 100644 | 0 | 0 | | | 3.79 KB | b5b9e5d98a9d615207887c7b3543c2113ffbc9b721427af8bf35b6adba913bf3 |
lib/mini_kraken/core/conj2.rb | 100644 | 0 | 0 | | | 2.4 KB | c93588a049ebaa4a5fa5ecf2d2f9d2f222cdb3335747f8737102580194b372f2 |
lib/mini_kraken/core/cons_cell.rb | 100644 | 0 | 0 | | | 1.84 KB | bff12e4f8aa03d5726b56a3e4ef3d45f93e692868bc3fe5c2bafe1250ee168aa |
lib/mini_kraken/core/cons_cell_visitor.rb | 100644 | 0 | 0 | | | 3.08 KB | b6a208867aa01c9d0b8843c66fddf8b3ea58f06e7e92577571fc06c15b369246 |
lib/mini_kraken/core/def_relation.rb | 100644 | 0 | 0 | | | 1.47 KB | cf9acd6f44ced77c82475c758ee1805f7761e0534d20e695f36767085cc85d63 |
lib/mini_kraken/core/designation.rb | 100644 | 0 | 0 | | | 1.32 KB | 3212782c9c774a5859435e66e3f3beb0d53e6625fa4e1a63fff33501afbebd25 |
lib/mini_kraken/core/disj2.rb | 100644 | 0 | 0 | | | 2.09 KB | 38c11375f99d57e2b0a2553eec50c426e475b6dd67e7b527745408df7242485b |
lib/mini_kraken/core/duck_fiber.rb | 100644 | 0 | 0 | | | 1.11 KB | 410a206f4396a94e9700a1345bdc5dc9873e13c1faea240c1c5444801d038d00 |
lib/mini_kraken/core/environment.rb | 100644 | 0 | 0 | | | 2.04 KB | 5d48a1182e7f16197d0be778589693f060b5b58c092378f140499e5ae712b1e1 |
lib/mini_kraken/core/equals.rb | 100644 | 0 | 0 | | | 8.34 KB | d6309b32111b760a7d542b423a7737ed81cf739a2d8acfaa35010d5cae019a5d |
lib/mini_kraken/core/fail.rb | 100644 | 0 | 0 | | | 606 Bytes | 5233419cd8af643756b394a459daebd4bb0ac5152013f947aa06c28bd35e8edb |
lib/mini_kraken/core/formal_arg.rb | 100644 | 0 | 0 | | | 410 Bytes | 7609fbc9548e4c9ca1ef647f0c3ff0eb3b8045a0a9c2142faf54ee51a3da9531 |
lib/mini_kraken/core/formal_ref.rb | 100644 | 0 | 0 | | | 528 Bytes | f80433cc320e1eadfb0cbc1501912842f9fc2ca9e6090ea8ecadae629debd9e6 |
lib/mini_kraken/core/freshness.rb | 100644 | 0 | 0 | | | 1.15 KB | 704d373e14f98673fb7188a29d6eec15c2301dd91731f25a41bc0047bc295978 |
lib/mini_kraken/core/goal.rb | 100644 | 0 | 0 | | | 1.61 KB | fb09b784490fb610e821b80695799450061d21b2f4c6fcd399fc98f1d0cfd76a |
lib/mini_kraken/core/goal_arg.rb | 100644 | 0 | 0 | | | 256 Bytes | d92b2881dbb45a13145f06c20b5e55f34ddb6c3d4fc5407ba5b8a8e4ad887380 |
lib/mini_kraken/core/goal_relation.rb | 100644 | 0 | 0 | | | 589 Bytes | ca145f65b5963107ab66b4799b8deab358f9a366a61518ce58d91150c6fb99e5 |
lib/mini_kraken/core/goal_template.rb | 100644 | 0 | 0 | | | 2.93 KB | 6b330e48f6aae8e3373c473554755e03b49b4e273f0126070510b56735243495 |
lib/mini_kraken/core/k_boolean.rb | 100644 | 0 | 0 | | | 783 Bytes | 615b04a157dd7ccf7e94530d23cef903c79bf3092aee13e2a6bc86c83e26180b |
lib/mini_kraken/core/k_integer.rb | 100644 | 0 | 0 | | | 387 Bytes | 45192ab5d3a410151d50263410924096caa2195ec6c19ca89abffca6257eb7f1 |
lib/mini_kraken/core/k_symbol.rb | 100644 | 0 | 0 | | | 628 Bytes | bfd7208071264bf3975d92bdddb8451ba05fcb71d5233e7e9073e89b65e09875 |
lib/mini_kraken/core/nullary_relation.rb | 100644 | 0 | 0 | | | 521 Bytes | be9010386afa0d49caa9a3921bca084718dcba37daa54615e4c8af550a01a3ca |
lib/mini_kraken/core/outcome.rb | 100644 | 0 | 0 | | | 1.36 KB | 26bd5972e43efad5f967b38061982621f260c64f6708c3bc680a3dfd05a761f4 |
lib/mini_kraken/core/relation.rb | 100644 | 0 | 0 | | | 964 Bytes | 5cc64faa320b7615b961ba1630982ac3328476ef92cf6f3272004b62184bfe13 |
lib/mini_kraken/core/succeed.rb | 100644 | 0 | 0 | | | 588 Bytes | c76f85c97d4a30a0339e2de4912e8fe9ac6241023a84cd11b644b73bddb038e5 |
lib/mini_kraken/core/term.rb | 100644 | 0 | 0 | | | 253 Bytes | 88b21d9eb5e508a817cd4e6a798975880ec180c64f7e03ca472c3556fe2b2c20 |
lib/mini_kraken/core/variable.rb | 100644 | 0 | 0 | | | 978 Bytes | bbc4688c866268582587ea718aeab4c43cd83f23986fc6f6a24aa4d7e8459c42 |
lib/mini_kraken/core/variable_ref.rb | 100644 | 0 | 0 | | | 1.93 KB | b33b9a38c65e6017bb8273660cba0be8451d2618175cd9cdc68e6c1b5682c606 |
lib/mini_kraken/core/vocabulary.rb | 100644 | 0 | 0 | | | 12.7 KB | 0b8d4f850dab532f2bcb6ac673d664a3253c239023b2510f0f6fec84e738a05e |
lib/mini_kraken/glue/dsl.rb | 100644 | 0 | 0 | | | 6.76 KB | dc9688840d6ef7bb4a0d445b186a8b7c788476b5d399d836034eb0f8e8433a79 |
lib/mini_kraken/glue/fresh_env.rb | 100644 | 0 | 0 | | | 2.94 KB | 092440f035b6ebb35972d5149ed730f731fee47240525847049808e8431191c4 |
lib/mini_kraken/glue/fresh_env_factory.rb | 100644 | 0 | 0 | | | 2.52 KB | ebef0799803624ba2ee5ea12c13871a077e7bce61f4a958f5d262cdd81a5a31d |
lib/mini_kraken/glue/run_star_expression.rb | 100644 | 0 | 0 | | | 2.02 KB | 947bfdc5d215df26ae7d7bd98820a0423d79304140d5ad24df842e430ea4959d |
lib/mini_kraken/version.rb | 100644 | 0 | 0 | | | 74 Bytes | 210954d24f22bc7689e3005eb56f2cc8953e79b4e06e63db8d0f2e8bc90404b2 |
mini_kraken.gemspec | 100644 | 0 | 0 | | | 1.75 KB | 3a91c36871d38616dabc101420c1ce2fc26afc0a2a06d6a581c78c17733c5987 |
spec/.rubocop.yml | 100644 | 0 | 0 | | | 249 Bytes | 9e3860154fd8d9e4eac42a3e566925b5f52de245742f2e936fa29a8f8c82421c |
spec/core/association_spec.rb | 100644 | 0 | 0 | | | 1.07 KB | 1897f794736b22a2161141bb9ed99c964f636918e87c7a52c423a5116306f774 |
spec/core/association_walker_spec.rb | 100644 | 0 | 0 | | | 6.21 KB | 79dcd3b0ffdfbd469a266c34b57f6da184804993ce4123a9ce08814ee035cb3f |
spec/core/conde_spec.rb | 100644 | 0 | 0 | | | 5.35 KB | e0df63629660a2f9a342312ab5a2ab7246dcebcfc324a7adc3692ffc2e224644 |
spec/core/conj2_spec.rb | 100644 | 0 | 0 | | | 4.2 KB | 25c975c4b039dbcf7dbaa6a7ae2c1f1502e502f3bcf244c67ad9f255dcdb016c |
spec/core/cons_cell_spec.rb | 100644 | 0 | 0 | | | 3.3 KB | 0b24007abba639107396d186348af3c9e880d7e68b5b1a63ec31f0f2e68cbbdf |
spec/core/cons_cell_visitor_spec.rb | 100644 | 0 | 0 | | | 5.81 KB | 8c21f695c2b974f289cf32a1d246cfb3d6b58eacea7407cb9fcadee9939e5a6d |
spec/core/def_relation_spec.rb | 100644 | 0 | 0 | | | 3.44 KB | 777621b53122f090d3863653cfc6c24307e5b63550bab7fa006a48683e206dcb |
spec/core/disj2_spec.rb | 100644 | 0 | 0 | | | 3.47 KB | 281c1e87deff4d27966bf599185826ba9cf76edaf9ad1ff95293c8567c42546f |
spec/core/duck_fiber_spec.rb | 100644 | 0 | 0 | | | 2.25 KB | 58f87afb575897796f4df9acd3f2d4c77e8b730599e9cc9b083f48fc05f31c44 |
spec/core/environment_spec.rb | 100644 | 0 | 0 | | | 4.6 KB | 0f8316fe57f5ac113a9a545a678ca65ab77bb389d0da630af3e8ce98744ce85c |
spec/core/equals_spec.rb | 100644 | 0 | 0 | | | 10.8 KB | e4cb09350adbdca2b3743f57bef62768e46272f60c28556f0292cc3d29670b65 |
spec/core/fail_spec.rb | 100644 | 0 | 0 | | | 1.17 KB | 9fa58bf2e6ba1642a5f95971e4dd6ad87bf6ebe11dfafe712bcfccc423da139f |
spec/core/goal_spec.rb | 100644 | 0 | 0 | | | 2.01 KB | eb5e2ea3bda64cf3d51064a7232f18c2b512cac2f69cb76e7bdc9a1f6b8c7905 |
spec/core/goal_template_spec.rb | 100644 | 0 | 0 | | | 2.75 KB | 9a7e48cc015a216bed0231fa723fd1810e2e1694e942524621e8cc108f55c49d |
spec/core/k_boolean_spec.rb | 100644 | 0 | 0 | | | 3.45 KB | e0f6b176d678b3445537b0e911d6116781417f8ce77a3801e0a969a2348e5147 |
spec/core/k_symbol_spec.rb | 100644 | 0 | 0 | | | 2.23 KB | 770c663f7a1f30ceeb8dc72b3715b564f4248e0010ae6a5d862fedc1ddaef7ce |
spec/core/outcome_spec.rb | 100644 | 0 | 0 | | | 1.55 KB | 3a791f058cadf68d42b5b2aa533c50603a389036bd934d2689a39eb04a2100f9 |
spec/core/succeed_spec.rb | 100644 | 0 | 0 | | | 1.19 KB | 2e4db6a2bdb3eb35ffe1e95f2396dfa8a940f55866c5686ae65519431b818dca |
spec/core/variable_ref_spec.rb | 100644 | 0 | 0 | | | 788 Bytes | ef84e4c1d7bc26cbb1d26195802f1417692ec4df0bd71220a402ba4639542855 |
spec/core/variable_spec.rb | 100644 | 0 | 0 | | | 876 Bytes | 9403584fd264f6fd96b821de1e2ad86325194e0b8708699ce45307e91fea9a47 |
spec/core/vocabulary_spec.rb | 100644 | 0 | 0 | | | 7.16 KB | 1ede747bd6ec54186e21e09802ecf295afe56fdfa33ade4fe44e82c514115a2e |
spec/glue/dsl_chap1_spec.rb | 100644 | 0 | 0 | | | 23 KB | 730726280d2e7fd383dec169116060b54f4ffdfcbbe066cf01cfaadeab9eac75 |
spec/glue/dsl_chap2_spec.rb | 100644 | 0 | 0 | | | 2.97 KB | 140730d4261566bc99c9a3c449d33a9c96972d1a11fe1100b0bbb0f98eab4ca9 |
spec/glue/fresh_env_factory_spec.rb | 100644 | 0 | 0 | | | 3.58 KB | a3593a0164fbef0e4841978bb227bcbe5fbba4c8d66cf2ffa8e81058909cfa14 |
spec/glue/fresh_env_spec.rb | 100644 | 0 | 0 | | | 2.09 KB | e2fa29d3430510abdbdc2df1fcea40605106f2602c5c04c2208873f046323acf |
spec/glue/run_star_expression_spec.rb | 100644 | 0 | 0 | | | 38.9 KB | 04259adff829b96fa08ee072a56ee5a7aa77b2bb8ab1967e3e24eaa09b3815a3 |
spec/mini_kraken_spec.rb | 100644 | 0 | 0 | | | 195 Bytes | 14f46ef795fb18de0b2348b4fd6f8a504f1a04ff561b65ef4751dc16e21cf707 |
spec/spec_helper.rb | 100644 | 0 | 0 | | | 401 Bytes | 869859a238e38cea407134664713bcb7d27760ffcd2429aa82c019521b9e0a83 |
spec/support/factory_methods.rb | 100644 | 0 | 0 | | | 2.61 KB | 3f0be9abde088e39d48de15f047524eb3e0b7be6b3e97375d3eb16ae7e5fe020 |