tunk.git/samples/sample1.code, branch main A small functional language interpreter http://forge.jan.systems/tunk.git/atom?h=main 2021-11-25T17:01:31Z Add license and readme 2021-11-25T17:01:31Z Jan Tuomi jans.tuomi@gmail.com 2021-11-25T08:05:01Z urn:sha1:4abdbaabd69a5aac827cb4e2f98c27e5661885cf Recursion working oh yes 2021-11-25T07:53:55Z Jan Tuomi jans.tuomi@gmail.com 2021-11-24T20:47:23Z urn:sha1:7f9207d9742c062c2a23ca53aa48420217558e7a Fix bug in reduce Application case 2021-11-25T07:53:44Z Jan Tuomi jans.tuomi@gmail.com 2021-11-24T12:17:53Z urn:sha1:b0c42f8ad5f89be748741a8dd2c17bfe1aa3d0eb Simplify builtin processing 2021-11-25T07:53:44Z Jan Tuomi jans.tuomi@gmail.com 2021-11-24T10:12:22Z urn:sha1:502dd83e65b3e00b5150fe6fc7aa1d313effe824 Fix evaluation problems 2021-11-25T07:53:44Z Jan Tuomi jans.tuomi@gmail.com 2021-11-24T09:37:07Z urn:sha1:e48876266053819680931b8c43fe6c6165e9c739 Add int.eq builtin and test 2021-11-25T07:53:44Z Jan Tuomi jans.tuomi@gmail.com 2021-11-24T07:27:22Z urn:sha1:ecc88efd10db08afad1027892d44d473839a4b86 Improve builtin output formatting 2021-11-25T07:53:44Z Jan Tuomi jans.tuomi@gmail.com 2021-11-24T07:07:21Z urn:sha1:fecbbec2d8d24639d4178f92fe0585d777165250 Builtins with more than one parameter seemingly working 2021-11-25T07:53:44Z Jan Tuomi jans.tuomi@gmail.com 2021-11-23T21:49:58Z urn:sha1:e81d731b29c484ef2bab159d78a5417674e840ed Builtins of one parameter working 2021-11-25T07:53:44Z Jan Tuomi jans.tuomi@gmail.com 2021-11-23T21:27:01Z urn:sha1:c1f50fea93ad308f215e2d2878d773b55a370edb Get term reduction (without Lazy) seemingly working 2021-11-25T07:53:44Z Jan Tuomi jans.tuomi@gmail.com 2021-11-23T18:27:27Z urn:sha1:4bfaeda8039acc2a25891a778a51ae7dce1e0d32