{"_id":"abstract-algorithm","_rev":"30-ce0387eb1128e2780fec6fcf01ec1f1e","name":"abstract-algorithm","description":"Optimal evaluation of some lambda terms","dist-tags":{"latest":"0.2.5"},"versions":{"0.1.1":{"name":"abstract-algorithm","version":"0.1.1","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"api.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.2"},"gitHead":"8c341849442a13b51db9917c191d6cc2eb75a2a7","_id":"abstract-algorithm@0.1.1","_shasum":"128161cd0e9f82a33b891ea053160dcd98a216d7","_from":".","_npmVersion":"4.2.0","_nodeVersion":"7.8.0","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"shasum":"128161cd0e9f82a33b891ea053160dcd98a216d7","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.1.tgz","integrity":"sha512-R3d+eHm9TOpxOvpYSF7orSkSUFfXadtPjHy185IdpLPXBH5dC9rSCl7+/kn06srqEKmJaz+I0xHcy/Qugpk6Lg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIHS5XkFCruk5spuwaFHiwT0R+tsYatPL9qsZSbfr3/82AiB0VFvOMhX2bhtJp+zfHAM56a3i56YNecTzdztHrHIeDw=="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.1.tgz_1497849120181_0.47427634941414"},"directories":{}},"0.1.2":{"name":"abstract-algorithm","version":"0.1.2","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"api.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.2"},"gitHead":"f5e2464048aee3eb19ef65ec3c0dfda5b72a515c","_id":"abstract-algorithm@0.1.2","_shasum":"241667ef639e0383a20c7890b7ff3e5a6e76f2df","_from":".","_npmVersion":"4.2.0","_nodeVersion":"7.8.0","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"shasum":"241667ef639e0383a20c7890b7ff3e5a6e76f2df","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.2.tgz","integrity":"sha512-1g7iBf3rUA/tILfKdLC5XD+9wjlIWNPgFeRuZ2dKCVmqlx4w0105W1z39FvurPjryEaB9riA3Uq585fu2Jr6IA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDGZHvCUc8X2fUYj3LeK1Wzv35mZ4vKnb5snuV51QdpjQIgCT35ClQbbaIGjgAmzm8a8eN/UKW2x4L58rzbv0jbXMM="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.2.tgz_1497849303188_0.2822093446739018"},"directories":{}},"0.1.3":{"name":"abstract-algorithm","version":"0.1.3","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/api.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.3"},"gitHead":"ed3f7b050cb1af6005961a95e30fe1ce2e5e47d7","_id":"abstract-algorithm@0.1.3","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-LlLHiMBnPOzSb5qRQZFR8ZJNfI21BL7C5T/y72u+kjHhnc8JrIWmn4xXjvOV2uBKsgcQJXABDZEw8T61y5MeNQ==","shasum":"e5e64943a1b3708fea4913b44f8c14ba939c1c09","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.3.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIACNARt0NcE3RB+JAAizYpFuXlqflm7oUGkiZMPxnJ75AiB0836Z3j9KsYK9xdpr4J+Fp1LRdIBNSOPtXxS+4TQMrw=="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.3.tgz_1501002988686_0.08667004969902337"},"directories":{}},"0.1.4":{"name":"abstract-algorithm","version":"0.1.4","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/api.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.3"},"gitHead":"f4d9d745d15c0e408f24c793bec0069a33409946","_id":"abstract-algorithm@0.1.4","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-png38OYUswZRXjDkAyEkRuKmwqM/uHAyb9CtuY5PFUQw0QQnq64Z25o2JGGRzbAogq1+BxaIh26Ye1Db1xafnw==","shasum":"c3112dde1e2edf84678a383b1dd6c1dc9f232af4","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.4.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCICoHzHdHB+P2/oTOhar3fINywDgQ7aKs2nO1+oPaNLHnAiBB/YraCtms91ot/yx+eYUWEGpqSmLxyz0eQ6OL/jb6Ww=="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.4.tgz_1501003109612_0.688793653389439"},"directories":{}},"0.1.5":{"name":"abstract-algorithm","version":"0.1.5","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/api.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.3"},"gitHead":"57674885f0f7fa8d5d2b265616b522b2c34cb7ac","_id":"abstract-algorithm@0.1.5","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-AjCNIq3B4PmF4fckgn2hLM/btmDm2JLC48t56vM1qnJEbi9gHUTeQfX6qNf0dNaB56xQQg0PC1Fe+cajHTJvRA==","shasum":"79e6dd69057c3b8451e83c689b04bf516ef75e61","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.5.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCgTkPCqa/ymdGsdAj71069wOVXGuQp23YK6MpWueyRzAIgBXpyhtPTgHXa+ro6ameF65yXUdi6WIcp9jFyGHOWO+U="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.5.tgz_1501007272696_0.2274622421246022"},"directories":{}},"0.1.6":{"name":"abstract-algorithm","version":"0.1.6","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/api.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.3"},"gitHead":"cb765fbcb35d7b758da241f0c2de12d4129d3cb0","_id":"abstract-algorithm@0.1.6","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-l5XuNHlcHj/gdVkb/VqaBtfx4nKaWmLAUTSKZiPdJQ3a3uDv93G9QABt7jeyQzw88COXtqIBV14+iafEyEbJLA==","shasum":"6e466dc187a9e2a4572701746b3d350ceb709578","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.6.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCBzCWVJK7LypxF80Tx4KsOhDoGQ9QNhOVKPFuPYWATCAIgZ2TvpOq8bDmcxdHScdAH8KQpsNexcd6b9zuHA3Ulqkk="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.6.tgz_1501162973594_0.15591473947279155"},"directories":{}},"0.1.7":{"name":"abstract-algorithm","version":"0.1.7","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/abstract-algorithm.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.4"},"gitHead":"c201b0355698ab826a1e51c09a3e5e505250aa51","_id":"abstract-algorithm@0.1.7","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-hWmdHZiIcQP9/thdlwNeYEKlORD1WuFK+hnpwIjmbi+gmACipCF8/QBrnxjXWJGLZ4+lijhpFrPzJ69NzGx1mQ==","shasum":"cbe31d5b75e8f10e51ccceee2da84b2bb1f46be8","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.7.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDTI+bZ9PF9ntO4a/GVId3DcIl/MFwhKgvs+WyN1KApUQIgXb4DzeNN/JZYDsf3dRj0b6dFNDUe6pqM6XzMPSxMWJo="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.7.tgz_1512682611204_0.605146843707189"},"directories":{}},"0.1.8":{"name":"abstract-algorithm","version":"0.1.8","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/abstract-algorithm.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.4"},"gitHead":"b652d469fa1409adb267cefe25104cd6b7b34e6d","_id":"abstract-algorithm@0.1.8","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-hJArA1A7aSxqsDRTEkLKgQTIAIw/2gtavF87Ta9jJZTVa23J+0eb9VSd24QDgIK8XKs+xsfZNKkk8ERnq4ckyw==","shasum":"df2eb83035fdbad40bbb6cf63f9212fbf69bf749","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.8.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCkncQvpAh8oCGZx0aGqxrsenK25cghQxnlN4Rv6YPTngIgQ10GE2NDNrHRuhWP7fU7PbbcoWjkW/VpU1lPinVN1xM="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.8.tgz_1512682719929_0.38839319883845747"},"directories":{}},"0.1.9":{"name":"abstract-algorithm","version":"0.1.9","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/abstract-algorithm.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.4"},"gitHead":"55380f64ac71ab7c3193ed59b0c86b5d922131e8","_id":"abstract-algorithm@0.1.9","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-52BVDcp5bL+c1Io7LESC5G+SsV3qpGSZ2VJg9V65EqEtS25pJMvG8qBgFZI4pRu4BKRGasbVmRpxfpOVgwpx0g==","shasum":"ef91b2bc053f67da9ab2e12eb3a549f395cc2b00","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.9.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDmIV9ZbnfMKP9PpPOKzWf3ZxEVHkxWFZJ2iS6A2TRMpwIhANjkAijCQPR1y3YNZe5dAVf+pxfg65FsqEsguNASjob3"}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.9.tgz_1512916032599_0.47468951577320695"},"directories":{}},"0.1.10":{"name":"abstract-algorithm","version":"0.1.10","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/abstract-algorithm.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.5"},"gitHead":"5155e5eefde8855587c656e8ababffaf9c0f18c3","_id":"abstract-algorithm@0.1.10","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-N4SmWPAS/dRftxwOsczinuJD48DiCdbYHEHrAQ6Q8IUmElxnvgQmZgr5vjxLGsUwT71grz+w5vxqGGKnj/dMXA==","shasum":"fcd8d09d26dea0ba9198f1e53018527f92f9d782","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.10.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIASGAja0ufJzl41jAywt9UcH62pwbcprALDt+k8T9u+8AiEAozGxURptohSBDwhaSKS+3gUfI00frzeoeGsiFR+EOh0="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.10.tgz_1513035252587_0.9992715199477971"},"directories":{}},"0.1.11":{"name":"abstract-algorithm","version":"0.1.11","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/abstract-algorithm.js","scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"lambda-calculus":"^1.0.6"},"gitHead":"b77ec1a70d433ccc54f280dc740fe69215b34bac","_id":"abstract-algorithm@0.1.11","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-RE0wYmlZ8hU0Snq/XX0EzhUO+EaFt5J9CElTo63fn+AmJ2OXwgB6bdGjq3P6aWUOTdRyUTYGsSfdxTf4F1KbLQ==","shasum":"32dfde301cde2421fbd161b4b924f228fb3f0470","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.11.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDg0nUZgK7WC1saHzLKsUQxzjzsxZv/07TworpADDVeVAIhAJ688Uqed4l0sS/rUp+n5NUiQx0kZbyLS/qx6gwJSalw"}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm-0.1.11.tgz_1513035801473_0.9592431169003248"},"directories":{}},"0.1.12":{"name":"abstract-algorithm","version":"0.1.12","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/abstract-algorithm.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"factor":"0.0.1","lambda-calculus":"^1.0.6"},"gitHead":"fa54734566f944887ed31ae86f20c60cd72ce831","_id":"abstract-algorithm@0.1.12","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-FavhGL+esuLvaF4V0/fYDQVxPelyRxpYdPCIq9G3OR/dlwVvb8j7FLKSdM5Me/pTfEanvnukpNySnv2fzQPyrA==","shasum":"daa23c36f651d61c6462276cec3310bbfa44e26c","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.12.tgz","fileCount":39,"unpackedSize":1878423,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCICd7LMuodYm1z5leu86ime7FvAQpJlppYcHv5fYYiFQVAiBGnT52DhbGbyfqr5oeclSR4XWmTANY9Oe97axoKJ0maQ=="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.12_1523581690071_0.7563378259862634"},"_hasShrinkwrap":false},"0.1.13":{"name":"abstract-algorithm","version":"0.1.13","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/abstract-algorithm.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"factor":"0.0.1","lambda-calculus":"^1.0.6"},"gitHead":"675aaa261cae931ed308c3a9b3583fb74c9e99b7","_id":"abstract-algorithm@0.1.13","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-MpHx+lPn+MIJLoSDhoRe5Kj+4Gag7/ntAA4tywiL836EhxF/h2j/JbwJrMgyuH3X/ToU0e8KoKUmr6t5hxyjfg==","shasum":"020e34e1a8e1ccbe564d1673ea4c38cb0968b162","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.13.tgz","fileCount":39,"unpackedSize":1878428,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIFRk7gHOuJHxtTNKIv3JUZJ64cOjni8Lrs3t4FrFOWlKAiEAjbxePwm5C7VlIg9gUMmyIwNzLJuZYGaO5Nuz82gTZ6U="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.13_1523583744938_0.14264980387856596"},"_hasShrinkwrap":false},"0.1.14":{"name":"abstract-algorithm","version":"0.1.14","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"factor":"0.0.1","lambda-calculus":"^1.0.6"},"gitHead":"a2de6bfcecc879c8658786a49965a0ea0d3c10a2","_id":"abstract-algorithm@0.1.14","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-i4iE0xZa00VCf8lv5MAq7xPfyCTvnIc3CePgpIJiw61h7QL2ncfy+uwumlpWtrEGWh5IlTueKAaVB0fiirtfMQ==","shasum":"59603a42177e36d36653ae353f294b3ffa0fc631","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.14.tgz","fileCount":40,"unpackedSize":1878722,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIEqBA58V2w63g5Ll0AEYCqA3tSqUaLNBTfCcASWraOraAiEAhFHvvOwgnCR6uCpjhTRNB0ixBd88gDn7eUCthAsUoLI="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.14_1523594985191_0.5188331895304457"},"_hasShrinkwrap":false},"0.1.15":{"name":"abstract-algorithm","version":"0.1.15","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{"factor":"0.0.1","lambda-calculus":"^1.0.6"},"gitHead":"f03d41e65728d638e7b45dc8f2d10bf1a2e1de16","_id":"abstract-algorithm@0.1.15","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-Fv5FHaAe/cIyr9q9QCm2gBE+o9rqYdHQ8I//1ku+YR9vG/duxwTVK5LOm9eId5d9TbQN1m8W1whbdFbC+ihPeA==","shasum":"59f75ed5f8bb296eac7a471a3ac42e95756fc9eb","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.15.tgz","fileCount":41,"unpackedSize":1878810,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQC4esZ95o7K19/8qReWv8cAIZGJHCioSXs010N9zsv0XAIgQ5fmwbLmLDhj8ZYnrFCnJdN8IzMc6lAgilvNPPb2F60="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.15_1523597045512_0.5284649830744648"},"_hasShrinkwrap":false},"0.1.17":{"name":"abstract-algorithm","version":"0.1.17","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"2b92737204276ed37527105eced3dcf86c3153ab","_id":"abstract-algorithm@0.1.17","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-R0Hjvtc1qidOFpklf2nksa0EAuF8x+MzWr/57mxJ7vnHlCaStxhj0JNTCvUDyXsTCv/DqAYQzQ3RdenA6u7rgQ==","shasum":"f7b0d21b0e60c34d1bfa39eee3b410e9ff962ba1","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.17.tgz","fileCount":54,"unpackedSize":5377145,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJa2M/iCRA9TVsSAnZWagAAE6MP/0d3O7s1qbR6mfIaLtnh\nN0H1j/yIfs3X3wMYUxVw3jOFWjKB6pRzQkc/vOP87OrgU9MTbAA6Rl8oknYL\nLih2G3c0iRbX5kE4i9PwUx5dldnxYog8ra4s0sChiKwyxTDB1kTFUWPOY9Dj\nbH0TFJjKNIxB8FZ/lzIazNE//IAg6jlxmGYCQ9mMuEh6TH+EPsBsGbR6p49O\npPedVqO4/HcdFLBQi0cWEsZbGevpwLbgXA6zW8KmZ9awwCOwmeyZcx/U8NW9\nbm3t6kpqD+chcRQ8RL6SVSYKXj++/1BqCz1AhWpf84mDvL6Bbl13jsHku67q\nNbZQH0lDia8lotA7NcO3glfL+GnWPRemk4Px2D2hu7Y+OtG28Te1Uaq8ICKQ\noy550Xjlruz6qyj/BypZT1aB0tXyiPj5kypFrK2BX9hJnNS5J4ZeW4Y9Cdpk\nQQr/GBifjz2DDj71Nvk7oT36MTaCs4qsyEvl008z5COBMJgIhH/rAj9BaZda\n4HfnElFLfXt9E+W7m9ayRFDh9+wctNqTsTPGm/wPv8GUftmrbB6DWyM7b6wG\n8T2suWUS5caac5D6sbU8C2R0oSqo5RlIDXZC4lGV3/Ow3fCmaBEB3HFg9nej\nZSA8w6235t6PlZf1KoHnflNU+3bCI68emwfTaGicERK5/QaXu6UUYnwhEdhG\nTg3e\r\n=PPSU\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDnndgII9vgUHGPv7UobY6b29ZTDEhd9tq9LPSqxsxQoQIgdE44SeeQHuO0I975LSkOodrn57jJfE+fC5KkIsHY/eI="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.17_1524158432238_0.7333683116148659"},"_hasShrinkwrap":false},"0.1.18":{"name":"abstract-algorithm","version":"0.1.18","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"1dc9afa90818d8594ae5937549fd7e68fef5223e","_id":"abstract-algorithm@0.1.18","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-mIhWnbDCI9cTky84kHwfCvTsHmGpUfGHVtWIgT7gJMybbTtLptmelJAAc/OPzpObBmG/MyYz9qLNdM9QaICXeg==","shasum":"6b4eff67ff6108e8d1ef60b069fc28f724eba255","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.18.tgz","fileCount":56,"unpackedSize":5440135,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJa45dmCRA9TVsSAnZWagAAaJ4P/25lABq3WbAQvIhmidB2\nInt9UEIuvKwKtz32yS1jYFzS3spk9xG9rhGdfmzP44eSTzIuni9KfLx++Fl/\nTNtzIRP7gL5bGrptJMmatUPMKfKeFdYtBbebDGmReMP/CYbONsgT9uKJE3oJ\nAP/67JfU7BGngj1s81PXf29zXrfbsPgKiXyJ2sZbtW2vmulKNntBVvA2bG0Y\nyZPHkZpDh6BL4rovZPdDQsO4rf04HYMKtNPOkYXDPpxZGI/gWR+7d2QG2eHQ\n34T1/vAG3A4VgSekKG2oW+aAxslvOh5yuae8YN992ByjJbtrpiR/8raBU3y+\ns1mJlHb1a46F3Cj2VqHXM8aEzDMTmfXLM30c/3QHiTfbvif2yF5LOTcSsQNs\nCwpBt9F7NttgmxqiE6mTuwPF80VGuuIbkxIY4xnIx+N+rDWlVqHrRzmewGQx\nuDIsFMiwR0zarQCIXeQ+C9hzEBF5b4h02kKud+c3eYNO21DtMGAmTgfzMyku\neYx8gbWpLSi8RaO7q0MLZAC7CUypsO23O/FXy5hqzlvIXH2/xf/VrFdJRgJI\nsQ4lM0k3XYGDr5duELAZ2ipjT/unOrAgpQq/OhOvjvuhbbsaY7zXKGHiFwfq\n44XHybW2dQ0oEytsE3a4oTujOuQ7KLyjk9ar3Mmz3irhutlFQnMVAsuJX8BB\nG3im\r\n=j8yo\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCC+48aeC8qWR2MR+yea4MXVrPCeNWi4uKAjiCH0mF8vQIgI+BlwwubSCTbjJjGVZ3FRb5u0aINtgq09PxUOO9r1Q0="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.18_1524864870106_0.08491695365469032"},"_hasShrinkwrap":false},"0.1.19":{"name":"abstract-algorithm","version":"0.1.19","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"e9684e428139f27fce9060122b7d37fa178feadd","_id":"abstract-algorithm@0.1.19","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-Rat7kZ+HGVoq1VSbfPoDZv8KTqAmajiMtlvrBIBxd7o8r2jTzLNACiTv73YCPDA42xNCiNSsoh1NojEFF61/ZQ==","shasum":"e0bc8906691a9713fe38ce28f7e0df04220ca9bc","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.19.tgz","fileCount":56,"unpackedSize":5440646,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJa46ThCRA9TVsSAnZWagAA8DoP+wWc0k079XEZAFdo6lMC\nSa4X9ck22mGAYrHbN3tl7n5zbb2YTXEEj4UQ0gt0At42dcO2qURCyMjNhyWH\nbj/LpMKfA7wPzAElqn0f/6fQHXaJJ3f7Vne7o0wf+hJyVB2lvmO/f5++6gOz\n4JHTUYN72foMo/lfx+kb0YjDvyHCO0hILUAX58+L66rHXSukNytBMYQ0a0Ap\n8X2g6ukHZE04GPZU/rqZry+a3e6DVkU/FOZH4qGMz9vAZglX0NM4W0uvwL5e\n0QkzWodRe/Ix1Qqp1z8boD+eiZySl9sGicWosjLvGh/BEH5NmomNw6nU8YX+\nPUqttU6Atja4HA73tnR0FfGMFfRuw/67Em6HMaiM649dxAal1JRQtWgwQjSS\nQIPyQN7OIZCK6iV5Qm4C4dsZUkH7Y/+jP6aRFB1Z0ZjkL8dWsIftkpCI0QNt\nvDtn5OoSiM6gpePQFLmeZeNJ2yXnu4nXAvB3auQn5tTLOI8uqCTQeI05OILo\nGGuuUWhmQfl/okTVR06RfI1sE9/FZonoSNu5yk7TmVZ5nw8cn6eMPjWZPODk\n9eBL5UE2C8qgSsimNC/Ctyf7r82mjVjA2LKAc7PAXzvgDHHrt1kaE+H8I1MC\n5wtB7J+vFIN5pCoTldjby6x1qDaQU+M7/L5R2SVhQA2z3eha1791cje0o6dg\nQR3s\r\n=hT+0\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCICrjLp25M3DvZwmXNQQJDLanVWMwqm6mJPV34vvFNofDAiBLV0j7ZprcpxldAIYyym3xHql4co5f73loXnCiIYb9Hg=="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.19_1524868320615_0.3453899174920272"},"_hasShrinkwrap":false},"0.1.22":{"name":"abstract-algorithm","version":"0.1.22","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"3ca94f04e99f7ae7973158c744fcb6c0618cb854","_id":"abstract-algorithm@0.1.22","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-lza2FSpYrfULQcqzpXmlK2CCrB7TCNNowVgJO/PxhqtCVVThtcVwXIaBc/+P0WN0wMV9cijCwyU3kCyyn+ZlVQ==","shasum":"9c0224ebe34f591f7b216ac0c3fc8300ccaf7997","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.22.tgz","fileCount":61,"unpackedSize":5563644,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJa7GTjCRA9TVsSAnZWagAAhWMP/3cEz/NqZ2FZM/eJWxt5\nA1lDjFvowxlMIPPH0dB8hlF/JF63vLvrr5oBRupyjfxZHZVXe1jSLbSk/weO\nt13guSKIHVFBBrwVMXv1HN/eRN2p3ZaRve0sTEWl6sdgVS58aY0Ij0Y32RuO\nEzrZxFJtiz24Qa81FUiIL/RRzMrKoHY79RJX0ikp4HKHyq+WHmMgkQAbwL47\nAWIGRUx6S9e1zpaITYDGMx9f+RhVkig37vmdFHFhNt1Q3IHEamxPuGoldxm/\nxNCN4zes1aP6eunaCmpbz9Gljf3N6cQ6vmF8fp6GZp0sVUcpdhBbsm481CEr\nWmTQb3lqRzV/u2v+3vJxa25kN1JkMCzVaIMPdwITlPLzayz/5u6P+Aw2Wlvx\nevHUvr3+hAt2/4RfKJC3ki8lxgFEMrgg29q5Ie1DV59v+k+a/1CQGA8AbHnW\nG4cvnSVk7UNGOAptc2deQrqnSX8/39vwQhmCnFtcH47ffGr7spC6KAtm2QkP\n4tnvbTfAePAXAK64DETxmOA+lvcY7cqnc9BnMWq1NmdG9hancmxfrsOoS0zK\ny/hSkU/FyQsapjS6b3PPJ/7/dbJn3MB28/igcdZwdaHzGKGbVmQSiBfpvjQc\nAg7fjm4rpTKYjz0qAc0J+tl0vcOhNN+NZzfr5Wp8LUspaCG+WCo+Ygq3VPxx\nEnBF\r\n=b5tr\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIEkxuPrHrnqj2O2NzeU90n/mADs+HNIM02jCWcHngUlMAiEA08T76m7oXPR9XiHCOt1I7+M85AlCp+UE7fyHWYsGCqc="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.22_1525441762679_0.9774084768552911"},"_hasShrinkwrap":false},"0.1.23":{"name":"abstract-algorithm","version":"0.1.23","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"d454fa9cd95f5d26d25843a8d6bd63dd7852899f","_id":"abstract-algorithm@0.1.23","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-QKUwj9VBBcAdK/xyRUcelpWU4+7nJcASMsk70i+0xxCSel0LeOwi/gRZokWT/LnS5/gfHZDQRRUBhUo3SLet9Q==","shasum":"c32d3e86c96a9f9d33790bce158a736a60276919","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.23.tgz","fileCount":21,"unpackedSize":451901,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJa7bhmCRA9TVsSAnZWagAAA7oQAKOJLksGCo0tdxwG7WO/\nu87AyJWRh1OtX9YswfVW5Eq2FAZZnHR+LotTrq4q1ys65/Ds0Kvi6XXWuxUy\ndi7/JT0LtqenWw2rrSlWxvR2MRDiimBank6uuRLJjmPqkxKHDwy0wOkNThNX\nYsRLorlV5xrTZKEJKmjr5TZyQR2oIxVtkTz2hz1HTwWlXQ1juOk7tR50YR1y\n/t59CUOyh5Cf1R70KHO6egGUf263OppR8EGmoV9fT/eLn7lMgHDC2k48/ii0\nOWqx41DMS2bY0sekmDCXaFjrf+j/MM5FuxVT1obq5ss+ifvvLvYMoae62EDQ\nJEikVvxrMMR98cIQC47BY6h6VX/F2k1XfUA7R2XH/inbeE3UHJUjkZX1Ur0U\nXEMGHTqu1sJz6kCFGpF73rrlDT8lN25jTl1saCDoJgZRacv74usO7eRtiJMS\n9FEwCtWbpIrsS/NDXdeUOamCQMnLQ3C44GBAwqHDV+uFiDHmpehDuGA1hCZi\nNYXD4X+mlLQdtf1hkjSerjUPz4GihuRgbVELqTzXMu8QaR1eM4txGQtk2SSs\n7Mkv8KkZKABNwvgV0+WUSSkokpArKkKi1v0/GRgxSbTqEU3KfC7IGGrdL/Yw\nl576GjoLIGUsVmT1m8L06HvqLPNuvQEuhGXfmMBQsfZYOrwrXGYnn6Fk7D35\nuNeB\r\n=cZq4\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIHuY08ufFv4tx2n5dPzqI+bFuD4JTSC4QO5JpLK5edraAiEAzPJzbZD0mr+jCSR9+5cBi93VK2u6QkJwBj6YVlx4KAI="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.23_1525528677036_0.13888976083657134"},"_hasShrinkwrap":false},"0.1.24":{"name":"abstract-algorithm","version":"0.1.24","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"4b33a1a9d7f3356adedd8e6bc30659a97ce2ef4a","_id":"abstract-algorithm@0.1.24","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-CovWaTh5W4U8/JxacSvou493md2hcM04+MsqKY8pTjZQtqdO1PxBhC41aQXo4KABbv25qaBemzME17Ak1iNZeA==","shasum":"5db6d85be486b4bf9427035fcff25bb6eac91552","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.24.tgz","fileCount":56,"unpackedSize":2473741,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJbOPlFCRA9TVsSAnZWagAA640P+QB13e0Eq5KyoJD2uHoU\njm0R3xcvY9vpuvJ/qDjLlJbB7gVItPiBhjQCAPzemLa0O6Bm+Yx13Ogy1oD0\nbFByPUY/RdvlTTyOMaa2Uwby1fl/uhrlubBSatN/MKBwkgMCJn2o+Z1ZGwcz\na0SWyf/2Luen+7AXK7NEXEclYsfPbnoXUEr7qG+AmYWPJBufqfy0imv1EK6P\n8fYGGdlzQey+/5xdKpOsK9ShhFBO1cgyAhmCzfCfYBfdezkOMBC+9jDtWnTh\n8/2PEXGRshbka5mZTV15fnhIVarDqMLaxDCLbmtJM4x9EltWV4TMXxT4Zrf6\nf3+Q4MYdMunJGzjqPzwzQH2IDa7/kspKI5FsVWsHR33GN3o96ZAAOaNnymNA\nrAGJbIWcHRoo9lu+f5XlikUbLhwSufCwwf+JODRqbRamvW7Jps9IWjZszHex\njRuvNYCfq1w4FNQ2zLrd2HtoLhpYYp5o96mPy4JWuEbaEbLJyoOwv1CJSc5S\nRF/fNqjnoZlP2Vt0SAu1kcjuJGP/iHevqdPvd7nhVXjnGLARdanRzf+/YSF8\nBBZbQd5SOD2Wbj3JwIh8ULqS/wB2UR4MDHz+lA29c8OrGc2wu1J6dEgtrVCb\nEWvGoqhpJBLmFbItPGqs3QUgMSz3ipTun1LAqAx8YEJR78a1MAEuyWrtv3Zm\nbdl+\r\n=DxrV\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCNe9IDr9exEEsFCOzxl2Of5CMZE0Uo1BGIbf7rGXTltgIgUTRYqCmwE6jIGmkCV4p1rhrOXu4DuxF3typ6foSxsSE="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.24_1530460485115_0.5657570389739224"},"_hasShrinkwrap":false},"0.1.25":{"name":"abstract-algorithm","version":"0.1.25","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"87eeb74aebc90bd99a252b0fa94bbd16ee3b6e57","_id":"abstract-algorithm@0.1.25","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-+SfGLhbkQL1wYopq2SwiXKAmfxGd4kPAAjzz5gKtDXeokDqVU94MdYvMvSaZjpHFfhdNWgNrBG/nkJItDkRgWQ==","shasum":"b7369a19ce17534f004b55bc741f36bd5d55f638","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.25.tgz","fileCount":56,"unpackedSize":2471481,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJbOPluCRA9TVsSAnZWagAAgfEP/0WCTPJBKnoF4VHnzEEK\nBVKUS4TDGtAYSjbqOrDGapG2Vi0d8t50tR6xLS/K2gR8X/8vSUoefaVQzUk5\n3GJbCVIOpEQGWYi7WAs0VyQhSZ3ezOw3X6C3uosx2dE1R9OYfqHarTNX9O6L\nYAGYgGmqSdJtxc7MWS3iyRg4A7PosEKz2zdbUXmaZN8FubOZD7FBZLMpriED\na3vumwsKYL3X+WBv7qyc5fRfVlB6sSToxXCtHJTQp+shnsx5sTbYr1Nz2Psk\nzaFsb3aBbDNpV5vqpo4VQQg86EuwQnwPjELpPl4J+o5qUgTut9Pogqvu/7Kh\njlo9pU8kJ16ya03cRTy1rg3hG4AjeBqKZO1QDiapm4+0NaBwiFphcCfw7g5T\nyRF+kWaNM+/73C8bozbTorjGW4o/ENPPjpMqzg1ccH8cEWCBBqPx6KO4bALZ\nqB5DU7bYS3BGNBXmbbEWn/q9gNMpTdiywqs/8TBRWpW9J6vhV7omCffoE9e1\njMPFpyBGmprBPwdweft1TmaK47Z1jM6VvVlk4N0lI8uT4OCreRtKrQIlRPET\nN7BwUE75m2g/fE4zLBJWKidhqcHQUwQk379bboi4ZZpTmYDXOF6eS/GIngyy\nX5Qh3vYJ9ZUL20WC/Szm14F4tdDv6/dwNskc2f/SZyBVke21SXADLXRCBE2v\nKgBD\r\n=GUUm\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIDkMe0vjp4+GODV0CTNBDvsuosyrRTMF8jpUGxvcboLdAiEAnUo95cLoSgFvIVQ0QNQ+6a62Xzjd7Ud1fwlTk6N1/uc="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.25_1530460526418_0.6205604536779461"},"_hasShrinkwrap":false},"0.1.26":{"name":"abstract-algorithm","version":"0.1.26","description":"Abstract-algorithm for optional reduction of stratifiable lambda terms","main":"src/lambda-calculus.js","bin":{"absal":"src/main.js"},"scripts":{"test":"node test.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/interaction-combinators.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"236b7529bd4b4fdf16b795bbaed7249401597343","_id":"abstract-algorithm@0.1.26","_npmVersion":"5.0.3","_nodeVersion":"8.1.3","_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"dist":{"integrity":"sha512-43Mve+vqMKDNxE3sXrZghje63yQFZrpLup/dJYUl7+vJKnZzJWd8SPeVcCujsYQe6Kj5Z4KuY88y/jdTf8myAg==","shasum":"d69fb7e559740a557dec8976442981f20e447c07","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.1.26.tgz","fileCount":58,"unpackedSize":2447939,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJbdKCiCRA9TVsSAnZWagAAnXsP/i9WM48huaRE0RzDDLD/\nkzg09K/+RKXvgwMlZo7XvcGQFlchD1WnQFy/AyU5hx0WatvJ7LazXq7HJDAB\nV60dPxtrNp5v9F+ACgH9sujYYy5gQZvIcmI8b5mAtOjkVr2gEmRopihseUWO\nBrs8kgaJ1Pq+Xn7gDIru1oPnw2A4v9iQTURV90Yrab9ymL6t/an8JNqPv5Bj\nULmXDtGWhA1Nd58mW0054RWwnxeZ4TSLI9HZVu/SIMCN+JwPV0KbHXyVoN4q\nAmvlj/JadxtHAWocrChrrpIOUiCJt+RsU8e147ZAfCL/7qhIOzFT/5gLnjLw\nczIxzHm2IXF27xovnAcde/9GuCz7tBnRS5L7mQmjhlVmWV+PfWvdk10lYZuh\nYP9gu/E5oqrt5MdEBdnet2qz/cpdbkzKTR3z7EEluVpXFxs/qqnTNmvklrdX\nrHuDgZk9KnwMf5LnraSLzZ+d7hzPlyHgXVkDehLDTQW1BYpT5LSvlaJarZco\nc6ScyY5KwlrmsNMfMmoZG9WZr0MFHfchUvfoS61CiMS/OMkYxxuRRyJVyM8H\nZkmLW68SUCqSm9lf52ZOHzl1zfwrLhV2K+VaqK7Kg0cxppGniXJOnVdNdsWw\ng1NbP0VA9gqSwjqIVHbill950W2bJxGHP9Y61LI5mT3zvE6NZHyhtB6uExgi\nTHyf\r\n=XuWr\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDTGyzpXiRy90ZAQFNPvByYarAY7HLJUV1610+HZyrwxwIgNhvlpF3RynMMCeVHghUSirI51f1uEgdGM3XYRun9PqY="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.1.26_1534369954308_0.30271892585518456"},"_hasShrinkwrap":false},"0.2.0":{"name":"abstract-algorithm","version":"0.2.0","description":"Optimal evaluation of some lambda terms","main":"absal.js","bin":{"absal":"main.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/abstract-algorithm.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"0ae80dd595662776aed83d5b0a9998c44e23ead9","_id":"abstract-algorithm@0.2.0","_nodeVersion":"14.6.0","_npmVersion":"6.14.6","dist":{"integrity":"sha512-Yg7dFxzWGXYPABvQ7ELZVsnH3Kmbbrh/EX2P+OW5ODSrSQ+aA2cdzJcppxwHe6gxbpD+wM2r+oHLZi2twoFApw==","shasum":"d65b7652fb50d28ee1945b69d5baa556fe8102a1","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.2.0.tgz","fileCount":12,"unpackedSize":402265,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfIMt7CRA9TVsSAnZWagAA9BgQAIwy2YC2LEidKliQNITv\ni2l5ObFIv+DOuOsr5NaqvP/IXVT4+eNYZp9wWFbg1vwN0JgKbnD1ew+FEg9P\n815TqC/oKK51oTySkJoMPkITWCCL12gbMI84dzOXgyJSH9v7iLsUCvYF5ITL\nQ6PcZGiEQ3mNHtV9VRC+/DMCW5guB5Y7kwXtS3OIQzMf9Z+d50h1gryqMQUy\nhVVjFKWlWm3nqLrZGSj8WbtA7vzlOwowj1/8ks4sqAFlN9sSW4p1YJz/fm9l\nbDuKskJU0yN+lCHyt/+nmTQr3yjI6dXYTu5i+CQkqlE3twDWvRaIc/yc1fu5\nQVMwOUql0jON0v5WcFEA6FdK4ndNz6d+tr12RY5s/Nrar2jVT1boU8lSufum\nI9n6GlZUQfcnDcHCbfcHR1JEu/7CIjZXCzLDT6TDTW5lD/hWuvkGImXH3rDi\n8v8Z9nl7lIwq8pYL+oS6T3QseMujneelcWokfTo6XLBQHeCytba9QPFrUbpQ\nFV/g1kJxMZO0wP6iYSHGbVDx9z7jJlWZt7tL2B0dlVpTjATt5bwbNlLK6EsQ\nOIbxTJPYIEWak2P1gUrFp1YYmIjtCn8iDDnTiVYTCMFlby7/Z3OCwVCCiZ4h\nzeBkJKodWujR9hqpftc+HEbFsBuhcnjuaiYBMnzCsaFIWWbjeU7ZND2VRV+h\nvbdO\r\n=gI1B\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIB/0ZnFGhIuRWDgD5j5sZTc7jOKjYu87u1B1dJcMJrioAiEAmjC64mvy8NRurJ9IbHnPIhuYc05ls3Qo/7V26Z7KM0E="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.2.0_1595984763057_0.2836693567435187"},"_hasShrinkwrap":false},"0.2.1":{"name":"abstract-algorithm","version":"0.2.1","description":"Optimal evaluation of some lambda terms","main":"absal.js","bin":{"absal":"main.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/abstract-algorithm.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"35f82443b596096450671f0e6fecda49d6f41449","_id":"abstract-algorithm@0.2.1","_nodeVersion":"14.6.0","_npmVersion":"6.14.6","dist":{"integrity":"sha512-pOEaqd/HPimtSwjmCqPxlKCakHeljUD9ECcS0wH6ZQoMx7hHXGx6d606rDG42pAyLzEi6Ijly3dCqeSmUmKQdw==","shasum":"726dccb7676b1f422c34b2c87bfc568f134c1db0","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.2.1.tgz","fileCount":13,"unpackedSize":403925,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfNH7qCRA9TVsSAnZWagAAkhwP/3Ns6JqRoWrBgHFmRUOW\n9oUReh2VYyshSISTNLQTkRuQSZh/CyPkqn2xbC0TEmOa0Qek2TSoJIS1bytF\nz01J2JhL5e0fBkuLsfEWMhf21B7YL1qBA9UNp+b9MJ5qunYbZAY49uux549L\n++0KKKXrYlP6lqH9eAQjg/aZIoJeEcnJUl7lGK2fGArrfQqrmvXWKhV2qpJd\nM2zRzYadWTugpO6mrz+7q6KVYCuMAjSsGptAJadbYIv9lK6VTxJRfE1+uKNv\naMn0HKyBhCit+eJAwL3Z9YT+t02gDvV3Iv9G+/x+PsBrSWOqW/WIauWTebpw\nE+77YRaF3/kip4gHWSDFYB6VfSt3MBg87bK9lZUeUbHqgZ+M/fnJQMfDegPI\n/k6RqvWhh5zf2jZ3CBCwS941AqYu+lPdB+02hntNUML8s3C1BSZJaSEnDH/D\n4TDbLVOQpuYFnYsLw0jD5GEjJbsl9JPfLbSt1gfOuImNOWd33KLy9Ka8oSNi\n1t0ezDI7kuK6DYrsfJntEFcmY/hULK08/Wt91RXoNIW4Zwu2rHe0gVrnres4\n+Nd73WcL6LLtz+r2AA+ua0bqGLcafiiBeY3vHKBg1AohMH0Ayr8pZWycrMrh\nV+9G22Qp0Gpa2bci8t1tyCi1253ymct16uYXu4zJ6iDCx77AFW9Nbnhb0j8H\nKMbh\r\n=P9+B\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCICdLG75CRf2ZaeQ6sJ3gHdpv6DFd4fWudCT3GvjznczxAiEA2Fc3vzAGYZv+fQK55l9LLSTXiI41RdwDy6C1k818HxE="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.2.1_1597275881903_0.9848039451526904"},"_hasShrinkwrap":false},"0.2.2":{"name":"abstract-algorithm","version":"0.2.2","description":"Optimal evaluation of some lambda terms","main":"absal.js","bin":{"absal":"main.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/abstract-algorithm.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"0b796ccc7d8d14a024b5120ba644c272ed1243b7","_id":"abstract-algorithm@0.2.2","_nodeVersion":"14.6.0","_npmVersion":"6.14.6","dist":{"integrity":"sha512-aaFoykvYTYVkbl6a1jv63vCnbEbOJLZdvPW7YfEg1ob9P0h5UNZ69ELk/nEwqWcKIpWiWgpuPl5IVEjlzMGnjw==","shasum":"e58aaad1afaa4f52f408dfad453e4fde1bc2d43d","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.2.2.tgz","fileCount":13,"unpackedSize":405460,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfNIYzCRA9TVsSAnZWagAAZFsP/iezAyuFCw9nehQpxl8Z\nS71fvgeXqGxaieZwdll2LGbeVKTz0bXF51whpxL91q5iF6nXP9SqKzIDpdQ/\nFgUcL2uwZuNn3s6J+NEdrShzYJyNXmg3oyZLDWTi375n/vPP+xsIewT3Gf5O\nPeeoTtpcjEq7oDK2LW7g1SXe0vNThXCY/8h4XLR9gEYlB8bBi6UNpZeuPH0V\n+lNiKyWq2EFia6h7vs3idC+f1UTG/9sZsaCSWVPBB4ykbJxpmXNW0YqSLK9r\nV4zX8WhKV3vEcTqk2SpKyA/gyk56jz880wrshsGipx9Oy/ZVm8EZbRXxMnkj\npqfTFBooatJSLeIP+SlKjtI8nck5ywJrHO5W/FGjnbt3APeQO6rf5enaBfUn\noky20lU9QCtDtTDdNlDTXoM7+nslcqnFzGCViukS6dYDbluvzIIMsgu6zbXf\nALb8JtL21Ux+2OKmUgbyUO6SCYrkhDShzJpe+sLvCqHun+hq4ambZhjWPB6R\nsMa4SapgE7T6iOCeQAbgU7GyYgav/istLDBsd7IWH4SOEayuZ2aPu/+n7/Hv\ntrPdBBnmmemWvZS5Enl8DHET1FWOPaFpjU27khP+cTPtbhiIxNUkz3jre6ub\neNu7GD64SeiYyWQT8R4vnicZi8Z8ZwnnBMKqP3iPPG7T2qoE044ECeYlg4/8\ncrbn\r\n=OYXb\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIGJ5aHPX0lafHze/W+ez5ZMAp3NTQA8YsMfm1RdlPoqAAiEA/furO8GftTCqhIbbfrSpW9hqrc4Jq7Eaz7LrDJC8DUw="}]},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.2.2_1597277746606_0.8356208208522873"},"_hasShrinkwrap":false},"0.2.5":{"name":"abstract-algorithm","version":"0.2.5","description":"Optimal evaluation of some lambda terms","main":"./src/absal.js","bin":{"absal":"main.js"},"repository":{"type":"git","url":"git+https://github.com/maiavictor/abstract-algorithm.git"},"keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"author":{"name":"MaiaVictor"},"license":"MIT","bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","dependencies":{},"gitHead":"1c227da6e169703d1d7080396d7d391b8d8121a6","_id":"abstract-algorithm@0.2.5","_nodeVersion":"17.4.0","_npmVersion":"8.9.0","dist":{"integrity":"sha512-NKoWSJueautDWu7pCJaOnU1rVsCQpMn278CXMwOP46dggPDMHspQjEF9zEb3nc9qJD4rhoqOcyrABPL7bzzTBw==","shasum":"735680dca9d2a4d47e052c820c57cf427fa59b55","tarball":"https://registry.npmjs.org/abstract-algorithm/-/abstract-algorithm-0.2.5.tgz","fileCount":13,"unpackedSize":405728,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIG+nZLK7EgrvHQEUtqJozfb+h3PkLrAEJ+d3ksXe6vALAiBA1NftTQZTX+wyWYvL3tm0I1q7qnqEAUXQia9bSkgd2Q=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJj3oO7ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmoqXw//ceK+PWJALICnBzJXImYMn9z58a0DIPkkm9XT6Ax4yrXfSbmY\r\nCaCT4N7xkpw91BUrS6lpNJ2kcHCNgbOMbpAY5799s09BewWYrh84subXwVIu\r\nc4+VAffVSyYSpKLnhNQpOAqn3qWJ8AR6lKzhPjLnaZyS4epO1vVd8p1900hR\r\n5QxH35I2VKpZ2PCVmsRaZ6J87CR5IJVCQ3Rqm8Bk+7Kz+K2NlXt6nJafWNVq\r\n3vNSFlGDgOFeIIm2dKkv6jwRJBAqbq8iR2QJ9k0NEQP4EmqpU+QsDy5pLuYh\r\nyoqT6gQmcIY1QAhSMa4dTGTFr7+726OenyP9qpm0B5gaBTHGXdZ6uSxUp4r4\r\nyWANhrcuYtImaodv1QZZ4bhUpkDYkRS5tcrmP5PolTZ5jIMk0c0AXLBZ+7TD\r\nLtU6730w+gEOWw8QesiTJfbF2q1LIA1CZNP2TBENUmJkNx0aC2HRjA5tSJ3A\r\nhxP2mArxwBRwOZBHs6CBrnr53xSKW05yrIWd6TZYk1JAxgz9Lbm4vROvpK3o\r\nPFEST4n4ds5wxy5yxkizn9B8WtGQQByQtHu81rrh1GugjRAM8rULJqYOirKq\r\neE8NIrGsQoDf8LLrGAsYEnuCNeFeL2ZMDp6o4cjI/mKHIE2+gZIjcZUeyGnf\r\n4pBfmaMqK6GS7sw446dCuNS5q677KhzZqvE=\r\n=tXeb\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"maiavictor","email":"srvictormaia@gmail.com"},"directories":{},"maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/abstract-algorithm_0.2.5_1675527098745_0.9242229121423222"},"_hasShrinkwrap":false}},"readme":"# Absal\n\nAn optimal evaluator for the λ-calculus. Absal works by compiling terms to\n([symmetric](https://scholar.google.com.br/scholar?q=symmetric+interaction+combinators&hl=en&as_sdt=0&as_vis=1&oi=scholart&sa=X&ved=0ahUKEwjNgZbO7aTVAhUEkZAKHYyTAFgQgQMIJjAA))\n[interaction\ncombinators](http://www.sciencedirect.com/science/article/pii/S0890540197926432).\n\nIt **asymptotically** beats all usual evaluators of functional programs,\nincluding Scheme Chez, Haskell GHC, JavaScript V8 and so on, which means it can\nbe millions of times faster in some cases, as explained on [this\narticle](https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07).\n\nIt is similar to other optimal evaluators, except that it doesn't include any\nbook-keeping machinery (\"oracle\"), only the \"elegant core\". Because of that, the\nimplementation is very small, around 250 lines of code, including parsers.\n\nSadly, this algorithm isn't complete: it is incapable of evaluating λ-terms that\ncopy a copy of themselves (like `(λx.(x x) λf.λx.(f (f x)))`). While this is\nvery rare in practice, making Absal compatible with the entire λ-calculus is an\nimportant open problem.\n\n![combinator_rules](images/combinators_rules.png)\n\n![inets](https://raw.githubusercontent.com/moonad/Assets/master/images/inet-simulation.gif)\n\n## Usage\n\n- Install\n\n    ```bash\n    npm install -g abstract-algorithm\n    ```\n\n- Use as a command\n\n    ```bash\n    absal \"(λf.λx.(f (f x)) λf.λx.(f (f x)))\"\n\n    # or...\n\n    absal <file_name>\n    ```\n\n- Use as a lib\n\n    ```javascript\n    const Absal = require(\"absal\");\n\n    // Parses a λ-term\n    var term = Absal.core.read(\"(λf.λx.(f (f x)) λf.λx.(f (f x)))\");\n\n    // Compiles to interaction combinators net\n    var inet = Absal.inet.read(Absal.comp.compile(term));\n\n    // Reduces the net\n    var rewrites = Absal.inet.reduce(inet);\n\n    // Decompiles back to a λ-term\n    var term = Absal.comp.decompile(inet);\n\n    // Prints the result\n    console.log(Absal.core.show(term));\n    console.log(\"(\"+rewrites+\" rewrites)\");\n    ```\n\n- Work with interaction combinators directly\n\n    ```javascript\n    const Absal = require(\"absal\");\n\n    // Creates an interaction combinator net with 4 nodes\n    var inet = Absal.inet.read(`\n    - a b a\n    - c d b\n    - c e e\n    - d f f\n    `);\n\n    // Reduces the net\n    var rewrites = Absal.inet.reduce(inet);\n\n    // Prints the result\n    console.log(Absal.inet.show(inet));\n    console.log(\"(\"+rewrites+\" rewrites)\");\n    ```\n\n## Some drawings\n\n- [Numbers](images/handwritten_example.jpg?raw=true)\n\n- [Pairs](images/pairs_on_inets.jpg?raw=true)\n\n- [Either](images/either_on_inets.jpg?raw=true)\n\n# Stuff\n\n- [This](https://github.com/MaiaVictor/abstract-algorithm/blob/old_repo/examples/lambda-calculus.js)\n\n- [This](https://github.com/MaiaVictor/parallel_lambda_computer_tests)\n\n- [Formality](https://github.com/moonad/formality)\n","maintainers":[{"name":"maiavictor","email":"srvictormaia@gmail.com"}],"time":{"modified":"2023-02-04T16:11:39.092Z","created":"2017-06-19T05:12:01.143Z","0.1.1":"2017-06-19T05:12:01.143Z","0.1.2":"2017-06-19T05:15:04.164Z","0.1.3":"2017-07-25T17:16:29.024Z","0.1.4":"2017-07-25T17:18:29.799Z","0.1.5":"2017-07-25T18:27:53.014Z","0.1.6":"2017-07-27T13:42:53.856Z","0.1.7":"2017-12-07T21:36:51.359Z","0.1.8":"2017-12-07T21:38:40.113Z","0.1.9":"2017-12-10T14:27:12.693Z","0.1.10":"2017-12-11T23:34:12.869Z","0.1.11":"2017-12-11T23:43:21.671Z","0.1.12":"2018-04-13T01:08:10.220Z","0.1.13":"2018-04-13T01:42:25.120Z","0.1.14":"2018-04-13T04:49:45.303Z","0.1.15":"2018-04-13T05:24:05.717Z","0.1.17":"2018-04-19T17:20:32.448Z","0.1.18":"2018-04-27T21:34:30.182Z","0.1.19":"2018-04-27T22:32:00.816Z","0.1.22":"2018-05-04T13:49:22.850Z","0.1.23":"2018-05-05T13:57:57.296Z","0.1.24":"2018-07-01T15:54:45.259Z","0.1.25":"2018-07-01T15:55:26.591Z","0.1.26":"2018-08-15T21:52:34.550Z","0.2.0":"2020-07-29T01:06:03.182Z","0.2.1":"2020-08-12T23:44:42.112Z","0.2.2":"2020-08-13T00:15:46.801Z","0.2.5":"2023-02-04T16:11:38.996Z"},"homepage":"https://github.com/maiavictor/abstract-algorithm#readme","keywords":["functional-programming","lambda-calculus","interaction-combinators","interaction-nets"],"repository":{"type":"git","url":"git+https://github.com/maiavictor/abstract-algorithm.git"},"author":{"name":"MaiaVictor"},"bugs":{"url":"https://github.com/maiavictor/abstract-algorithm/issues"},"license":"MIT","readmeFilename":"README.md"}