.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 | | | 7.14 KB | 899b2f13b309d0504b2c19e0af7725ffdf75b9b5f6219861f84ef5da0801164d |
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/atomic/all_atomic.rb | 100644 | 0 | 0 | | | 88 Bytes | 73116d945492ecb1ac52f4d77eda555768eecfb5cefa7e298355efefe5e22f51 |
lib/mini_kraken/atomic/atomic_term.rb | 100644 | 0 | 0 | | | 2.24 KB | 03c3b6d4d96531b0e303fa53965032b9b0775705eca435255cfa92e20cc0cff2 |
lib/mini_kraken/atomic/k_boolean.rb | 100644 | 0 | 0 | | | 1.33 KB | 2e35efd5fbe7cc60effda84ce4b174d188d0fd4fd9d18080abcd9fbe1877db6b |
lib/mini_kraken/atomic/k_integer.rb | 100644 | 0 | 0 | | | 470 Bytes | 20c25f2916843bb63026749e8f92afba436088c47fc0c5d4347f85ae500ca5a4 |
lib/mini_kraken/atomic/k_symbol.rb | 100644 | 0 | 0 | | | 726 Bytes | f4e7b5b6b8c09638589e31046ab04c6cceee658a851ee9238234449709d13d95 |
lib/mini_kraken/composite/composite_term.rb | 100644 | 0 | 0 | | | 1.31 KB | 9f6f10b8429f8cbeeb4ba762a25f1d5aa372ec8d3032a9539406e0eb29a148b9 |
lib/mini_kraken/composite/cons_cell.rb | 100644 | 0 | 0 | | | 3.42 KB | 77950ae828e15d0a53283190ba652a08afa3c442f330137484dbb5bfa950adca |
lib/mini_kraken/composite/cons_cell_visitor.rb | 100644 | 0 | 0 | | | 3.08 KB | 47e3b556a1cae3267f39ad15f876e9bffade4234b4f0846bfa7d0cb5768693ea |
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.37 KB | aefe889e904399ffea6dc69a4b5e6134f840c49c8e68b5d234d03d67ff48d26c |
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 | b31c2b5cd34bb358d13e68c8aecdf4215e0c5a203e5fab08eb05efe21a50bcd1 |
lib/mini_kraken/core/composite_goal.rb | 100644 | 0 | 0 | | | 1.37 KB | 7081ec8c1b75b5fc3c8b0b76ae7a9ecee3c52fcdbe834e08db55990774332545 |
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/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.09 KB | 2ed1f2c7d66c1c03339a3a9bbfc1e3ab15d4e32b2b9e40dcd1c0adf2feebf7c7 |
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 | | | 629 Bytes | e9cc908926f7afa30ef5a3ab64adb571a07546d56e20494dbe005f63721c0662 |
lib/mini_kraken/core/goal_template.rb | 100644 | 0 | 0 | | | 3.01 KB | 9a1bbc0aac38456fa6dcf4114486035b74e0d51b5839163686200809aabb2171 |
lib/mini_kraken/core/log_var.rb | 100644 | 0 | 0 | | | 1.31 KB | d81cd5ffe2a20ae493f4aaf3f52993282c3171c4fd9ae29579ae5891f98d0bf9 |
lib/mini_kraken/core/log_var_ref.rb | 100644 | 0 | 0 | | | 1.92 KB | 9bf29f92e9d0ffedf44bab32ef97bf19a76925ad2316cbd4a9d4b5a3ce328cda |
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/tap.rb | 100644 | 0 | 0 | | | 1.08 KB | e85be8b61502bc8d53f8f811e08e383367800ff33636f7ebb9a89245d343a720 |
lib/mini_kraken/core/term.rb | 100644 | 0 | 0 | | | 253 Bytes | 88b21d9eb5e508a817cd4e6a798975880ec180c64f7e03ca472c3556fe2b2c20 |
lib/mini_kraken/core/vocabulary.rb | 100644 | 0 | 0 | | | 12.7 KB | c3561583d79be149117236ed1c3f9e62b9bbb6e5355101ccfaedde3119b5ac18 |
lib/mini_kraken/glue/dsl.rb | 100644 | 0 | 0 | | | 6.9 KB | 77131045859309cb4aebed437082b8916a49d0a13e5e55ebc8f749012868f0d4 |
lib/mini_kraken/glue/fresh_env.rb | 100644 | 0 | 0 | | | 3.06 KB | 71b189b2c69078ffc407d7e482d1f73630b1f786c9b3f33921aba83b57e6a1c8 |
lib/mini_kraken/glue/fresh_env_factory.rb | 100644 | 0 | 0 | | | 2.52 KB | dce5e2234e7a4968c75b24862c5e9b6321c4cfd96d693fffd45e4937f92704bd |
lib/mini_kraken/glue/run_star_expression.rb | 100644 | 0 | 0 | | | 2.03 KB | ccd0f760e7c9086a6c08a3d1adbca2964eb1ce299084ccc7b14e1c6fcae99cbe |
lib/mini_kraken/version.rb | 100644 | 0 | 0 | | | 74 Bytes | ad021fddbae9f72665799626ec8298c6874434e9576641267b21d75a3b21888f |
mini_kraken.gemspec | 100644 | 0 | 0 | | | 1.75 KB | 3a91c36871d38616dabc101420c1ce2fc26afc0a2a06d6a581c78c17733c5987 |
spec/.rubocop.yml | 100644 | 0 | 0 | | | 249 Bytes | 1ce869cb2aaf455965bec0a467a24fc90f50b36c9c27443b7fb1d76b181b4f1d |
spec/atomic/atomic_term_spec.rb | 100644 | 0 | 0 | | | 2.8 KB | c0111225d35ba51716669a9d0b9009646f170cfa3f165578c85132b86b7e83ab |
spec/atomic/k_boolean_spec.rb | 100644 | 0 | 0 | | | 2.97 KB | 74cffcdfd664814e64bf14f7488938112c1eabaa24f1b0fbbfdef933515824b5 |
spec/atomic/k_symbol_spec.rb | 100644 | 0 | 0 | | | 1.94 KB | 130ea94971bba85f7a1c35a87666bff822e7f7661cb5a84ca95ed695b479b9cb |
spec/composite/cons_cell_spec.rb | 100644 | 0 | 0 | | | 3.36 KB | cfbafed5c9ecad97cf4eb53b410ccdac4660bf0e8df7c7acfc7e7e95b5f1f6e3 |
spec/composite/cons_cell_visitor_spec.rb | 100644 | 0 | 0 | | | 5.86 KB | 18abfd618ba5978e8cca3b61dca1a1431924ccf55f4428ef4c1a7fa6b008bf9e |
spec/core/association_spec.rb | 100644 | 0 | 0 | | | 1.12 KB | 643e7a183c2a5b96086b5e28aa6c14ee310ab91424896f40e31fa892fa52cf4c |
spec/core/association_walker_spec.rb | 100644 | 0 | 0 | | | 6.3 KB | 4780abc504670c84b051157ccf08f0bc213d4097fbc5c6003006c0bab265790b |
spec/core/conde_spec.rb | 100644 | 0 | 0 | | | 5.36 KB | 86229c165cb4c79f76c672091f17a750ab189eea46c525ca7220b4ffefd93ac3 |
spec/core/conj2_spec.rb | 100644 | 0 | 0 | | | 4.24 KB | e3a92e8bef21225487082e819b63cf90b49ecde1463ccf7d0cd0dd4c7817730d |
spec/core/def_relation_spec.rb | 100644 | 0 | 0 | | | 3.49 KB | 767e6e9195f08a58e9f563c609ca17ae6cb2ab74e6fcc8f823167804747ec69c |
spec/core/disj2_spec.rb | 100644 | 0 | 0 | | | 3.5 KB | cdd739e6280750c0d93dfdbd1c5a40e6a97704c9ada9157aa593af69ccc1711c |
spec/core/duck_fiber_spec.rb | 100644 | 0 | 0 | | | 2.25 KB | 58f87afb575897796f4df9acd3f2d4c77e8b730599e9cc9b083f48fc05f31c44 |
spec/core/environment_spec.rb | 100644 | 0 | 0 | | | 4.64 KB | 8cc36eeffc5327ba7fb5a48eb2a301154ec1c138acd25aaad61d91f97307aed2 |
spec/core/equals_spec.rb | 100644 | 0 | 0 | | | 10.9 KB | cf6a9e09424ce7101dbf830d98c32d3278d2770ccceb8862c254ed72ccc2ebc7 |
spec/core/fail_spec.rb | 100644 | 0 | 0 | | | 1.17 KB | 9fa58bf2e6ba1642a5f95971e4dd6ad87bf6ebe11dfafe712bcfccc423da139f |
spec/core/goal_spec.rb | 100644 | 0 | 0 | | | 2.07 KB | 0550c7e3459ce6363a3039a22e51fc15b4b2a1cb05dff36ea33d511df1e57794 |
spec/core/goal_template_spec.rb | 100644 | 0 | 0 | | | 2.77 KB | 7fc7356671248bd358685d0fc2796ebefd0cc3fadd8c52c904f170a472bf2217 |
spec/core/log_var_ref_spec.rb | 100644 | 0 | 0 | | | 781 Bytes | 6d340aa379e6aa9feaac16f5b74b4fc60172c29d8bfc183e496718adc3852c1c |
spec/core/log_var_spec.rb | 100644 | 0 | 0 | | | 869 Bytes | 8e3fb116457d76d6c05e40bc73fc23e3a6a7f5ab10cb01dc340306b2ed97f57e |
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/vocabulary_spec.rb | 100644 | 0 | 0 | | | 7.19 KB | 082ab1ea8ccc512d6374e01c076146c619b9cda6d323811008f1733e65948371 |
spec/glue/dsl_chap1_spec.rb | 100644 | 0 | 0 | | | 21.4 KB | 73f08e9ef1ce7f8289a8971c995262979c55d8d486ea178c9b001a4e7ecf83e4 |
spec/glue/dsl_chap2_spec.rb | 100644 | 0 | 0 | | | 6.1 KB | 0135613a249756d9c69cc5a545c665ec7bd73e494fe9526c51dfa8c58b6f6628 |
spec/glue/fresh_env_factory_spec.rb | 100644 | 0 | 0 | | | 3.68 KB | 3b63594dce5893dddb293db3a6ad80368a96ea7e1932afb10fef1bcd3b05ebdb |
spec/glue/fresh_env_spec.rb | 100644 | 0 | 0 | | | 2.09 KB | c34155ef3d598c18a0d21575f1be7d1f1e5de5bf91adcd0cc9120bd1b0b6e9d1 |
spec/glue/run_star_expression_spec.rb | 100644 | 0 | 0 | | | 39 KB | 301aac15ca88b19789fac228082b7645171333f4dbd46a7ec0db03c11097850d |
spec/mini_kraken_spec.rb | 100644 | 0 | 0 | | | 195 Bytes | 14f46ef795fb18de0b2348b4fd6f8a504f1a04ff561b65ef4751dc16e21cf707 |
spec/spec_helper.rb | 100644 | 0 | 0 | | | 401 Bytes | 869859a238e38cea407134664713bcb7d27760ffcd2429aa82c019521b9e0a83 |
spec/support/factory_atomic.rb | 100644 | 0 | 0 | | | 593 Bytes | 70900a4186f91d621e96e020f24aa47279368edd7fceb8f0904a1c44068accbb |
spec/support/factory_methods.rb | 100644 | 0 | 0 | | | 2.19 KB | 16a87362665b178cc96bd2415ad0e0fc0cf17fe7a940da0191aa35791b63f4b4 |