Commit Graph

  • f389d3092d mention new special lines in README. main trans_soup 2023-11-11 18:39:17 +0100
  • bbf9b0c919 add `id`, `omega`, and `K` to prelude. trans_soup 2023-11-11 18:37:01 +0100
  • ebcf350c45 create `prelude` "module". trans_soup 2023-11-11 18:34:58 +0100
  • cb7a5153fa add special line `!.env_raw`. trans_soup 2023-11-11 18:34:39 +0100
  • 946c8d14ca make it possible to skip special rendering. trans_soup 2023-11-11 18:32:53 +0100
  • 20f9f21197 remove declaration of removed special line. trans_soup 2023-11-11 18:30:36 +0100
  • 0f8efc4c39 add renderer for identity function. trans_soup 2023-11-11 18:27:00 +0100
  • d2071fced2 tweak church boolean renderer. trans_soup 2023-11-11 18:25:06 +0100
  • 1a6b0b9672 add special renderer for church booleans. trans_soup 2023-11-11 18:24:10 +0100
  • 7979eb2f15 separate term rendering into own module. trans_soup 2023-11-11 18:23:39 +0100
  • 62465ceb15 separate expression serialization into own module. trans_soup 2023-11-11 18:17:30 +0100
  • 7e928a7a5f detect (some) terms without a normal form. trans_soup 2023-11-11 17:45:31 +0100
  • 1001dfb152 add trampolining to prevent stack overflows. trans_soup 2023-11-11 17:43:52 +0100
  • f66d10321a add naive stack overflow prevention. trans_soup 2023-11-11 17:35:51 +0100
  • efe498e9db add disclaimer about parser weakness. trans_soup 2023-11-11 17:11:38 +0100
  • 5659cf551e improve parsing of applications. trans_soup 2023-11-11 17:09:19 +0100
  • 1d9f24d5cd fix: comments are now ignored again. trans_soup 2023-11-11 16:21:14 +0100
  • 33bc039803 add validation of parentheses balance. trans_soup 2023-11-11 16:17:28 +0100
  • fd1bb299d4 rework parsing; add support for parentheses. trans_soup 2023-11-11 16:13:25 +0100
  • 98757ce023 add ideas list. trans_soup 2023-11-07 03:54:38 +0100
  • 7a50aa6e1e make prettified terms unambiguous. trans_soup 2023-11-07 00:25:34 +0100
  • 6fb482df27 make REPL output optional with each call to `run`. trans_soup 2023-11-06 23:54:30 +0100
  • a3d013162c add `!.clear` command. trans_soup 2023-11-06 23:15:59 +0100
  • ccdcff4c8e add language overview to readme. trans_soup 2023-11-06 23:11:32 +0100
  • 3834049b0f improve `!.env` output. trans_soup 2023-11-06 22:43:42 +0100
  • 6e2cab649e fix REPL comment & empty line handling. trans_soup 2023-11-06 22:39:34 +0100
  • f7d3302219 update readme. trans_soup 2023-11-06 22:35:24 +0100
  • 4f811fee05 update readme. trans_soup 2023-11-06 22:29:30 +0100
  • 496e59be3c REPL now uses beta reduction instead of transpiling. trans_soup 2023-11-06 22:18:59 +0100
  • 2524ce8edf implement beta-reduction. trans_soup 2023-11-06 22:18:31 +0100
  • fb48804bee rename module from execute to transpile. trans_soup 2023-11-06 22:02:47 +0100
  • 29ea9dd356 improve REPL feedback. trans_soup 2023-11-06 18:45:03 +0100
  • 1df9eda02a compiler tweak. trans_soup 2023-11-06 18:14:07 +0100
  • 54a606794d update comment about special lines. trans_soup 2023-11-06 18:07:59 +0100
  • b0a552cd30 update readme. trans_soup 2023-11-06 17:35:14 +0100
  • 047c2a4a42 add REPL. trans_soup 2023-11-06 17:31:59 +0100
  • 27b019595d update readme. trans_soup 2023-11-06 16:50:39 +0100
  • 84278263d7 clean up entrypoint `main.mjs`. trans_soup 2023-11-06 16:43:35 +0100
  • b9582163cc add compiler support for expression lines. trans_soup 2023-11-06 16:43:10 +0100
  • eadd722f39 export line compile function. trans_soup 2023-11-06 16:42:59 +0100
  • fa4d1b8cc9 add parser support for expression lines. trans_soup 2023-11-06 16:42:35 +0100
  • 1c0090e644 export line parsing function. trans_soup 2023-11-06 16:42:19 +0100
  • ffeac6891b add expression line type. trans_soup 2023-11-06 16:32:18 +0100
  • 12aa28bb7f create lil' demo program. trans_soup 2023-11-06 16:09:39 +0100
  • 6fe8660061 make execution return a function. trans_soup 2023-11-06 16:08:23 +0100
  • 2778216ff6 fix off-by-one error in execution code. trans_soup 2023-11-06 16:08:06 +0100
  • 0d99d58812 implement program execution. trans_soup 2023-11-06 15:39:18 +0100
  • abdea0828f fix compilation format. trans_soup 2023-11-06 15:35:21 +0100
  • 64a01d4abf complete compilation. trans_soup 2023-11-06 15:20:19 +0100
  • 9a5597813c separate Expr type declaration into own module. trans_soup 2023-11-05 21:57:53 +0100
  • ce0a120576 create function that executes an entire program. trans_soup 2023-11-05 21:52:18 +0100
  • f141b1a373 pass environment to `evaluate`. trans_soup 2023-11-05 21:52:03 +0100
  • 633904898e remove comment left over from module creation. trans_soup 2023-11-05 21:51:26 +0100
  • f76829bc43 start working on program execution. trans_soup 2023-11-05 21:46:54 +0100
  • 6cbcd4da8f separate Line type declaration into own module. trans_soup 2023-11-05 21:46:28 +0100
  • 20b41ef906 separate parsing into own module. trans_soup 2023-11-05 21:35:17 +0100
  • cf99cd5e75 fix application parsing. trans_soup 2023-11-05 21:29:19 +0100
  • ae091501a5 start working on parser. trans_soup 2023-11-05 20:45:36 +0100
  • c9ed357d5d init. trans_soup 2023-11-05 20:10:55 +0100