Commit Graph

  • b8973cbed7 stg -> tim crumbtoo 2023-11-28 09:18:00 -07:00
  • fb52e63485 totally didn't add the wrong module description crumbtoo 2023-11-27 17:55:55 -07:00
  • faa6d75c18 more haddock headers crumbtoo 2023-11-27 17:52:59 -07:00
  • 32200a67af haddock module headers crumbtoo 2023-11-27 17:50:34 -07:00
  • 77f0e7521e small steps towards actual error handling crumbtoo 2023-11-27 17:38:46 -07:00
  • 6fffb1345b formatting crumbtoo 2023-11-27 17:30:49 -07:00
  • 7f6813beb5 tidy things up crumbtoo 2023-11-27 17:29:00 -07:00
  • c0ebd227fc remove debug traces crumbtoo 2023-11-25 04:20:44 -07:00
  • 57d08046de good gc crumbtoo 2023-11-25 04:17:15 -07:00
  • 2153861927 shitty gc crumbtoo 2023-11-25 00:51:44 -07:00
  • d91043fd63 operations on lists crumbtoo 2023-11-24 16:03:17 -07:00
  • ec87ed49f8 implement corePrelude in core language crumbtoo 2023-11-24 14:59:21 -07:00
  • 0b72bc8f11 temporarily remove layout support crumbtoo 2023-11-24 14:13:20 -07:00
  • 1cd7b5a25b comment crumbtoo 2023-11-24 01:17:35 -07:00
  • 8724df05fe corrections crumbtoo 2023-11-24 00:42:48 -07:00
  • f1f711c9ca lists! crumbtoo 2023-11-24 00:29:37 -07:00
  • 5e7192fd6e better log output crumbtoo 2023-11-23 01:54:45 -07:00
  • f4d88e9478 cleaning duties crumbtoo 2023-11-23 01:34:31 -07:00
  • d84fe56fbb pairs :3 crumbtoo 2023-11-23 00:56:47 -07:00
  • ac6c0b7457 shitty temp frontend crumbtoo 2023-11-22 21:53:36 -07:00
  • 8195895233 str corrections crumbtoo 2023-11-22 16:31:58 -07:00
  • 29f193c8e0 use overloadedstrings in coreprelude crumbtoo 2023-11-22 16:10:56 -07:00
  • 3f2dfe0c96 pair examples crumbtoo 2023-11-22 16:09:28 -07:00
  • 5cd645e5d6 i realise i don't comment enough crumbtoo 2023-11-22 16:05:06 -07:00
  • 06ad439e62 prelude move crumbtoo 2023-11-22 15:59:05 -07:00
  • 8a051085c2 delta duped code crumbtoo 2023-11-22 15:44:41 -07:00
  • d0be08027a TIM export list and ifExample2 crumbtoo 2023-11-22 15:41:36 -07:00
  • ae39579c97 location (row,col) -> span (row,col,len) crumbtoo 2023-11-22 15:38:15 -07:00
  • 26c135cccb MAJOR MIlESTONE: FACTORIAL PROGRAM FROM SRC TO EXECUTION crumbtoo 2023-11-22 01:41:22 -07:00
  • 0d32ecd20e say it with me girls, "good enough!" crumbtoo 2023-11-22 01:16:11 -07:00
  • 5fb348fbb6 add milestones for a few tests crumbtoo 2023-11-21 22:03:36 -07:00
  • 5aaa737127 no longer using parser combinators crumbtoo 2023-11-21 22:00:27 -07:00
  • 8c368af01c formatting crumbtoo 2023-11-21 21:53:57 -07:00
  • cd478b466c glossary: 'layout' crumbtoo 2023-11-21 21:51:37 -07:00
  • 8d7020d5f4 docs :3 crumbtoo 2023-11-21 21:48:26 -07:00
  • d65ac970b1 quasiquoters crumbtoo 2023-11-21 18:15:05 -07:00
  • 878e92395a more correct lexer crumbtoo 2023-11-21 17:59:11 -07:00
  • 00a265fda1 more correct lexer crumbtoo 2023-11-21 14:52:17 -07:00
  • 337b2f2c8f Merge pull request #1 from msydneyslaga/happy-parse-lex msydneyslaga 2023-11-20 14:09:32 -07:00
  • 45952ef30e good enough. good enough. good enough. good enoguh.jjhbjhfsfbsjhdsfjbhsdbjhdfsbhjlbahjfdaojuai crumbtoo 2023-11-20 14:08:18 -07:00
  • c15e67869e layout lexing is good enough crumbtoo 2023-11-20 12:51:04 -07:00
  • 717effc579 uh crumbtoo 2023-11-20 11:29:16 -07:00
  • 48aa05caad some writing on layouts crumbtoo 2023-11-20 11:17:27 -07:00
  • 8694ff2307 i hate programming i hate computers i am going to drop out i am going to abandon this project crumbtoo 2023-11-17 16:42:06 -07:00
  • ac55a1908c unproductive day i fear crumbtoo 2023-11-16 19:11:01 -07:00
  • c39a843660 core quasiquoter crumbtoo 2023-11-15 17:38:08 -07:00
  • 5559f66576 bad core parser just to make development easier crumbtoo 2023-11-15 16:49:02 -07:00
  • 84e79a5b94 add plans to document parser combinators crumbtoo 2023-11-15 14:44:44 -07:00
  • b28daefc3c lexer crumbtoo 2023-11-15 14:31:27 -07:00
  • 86b1538d3d reexport submodule crumbtoo 2023-11-15 10:12:35 -07:00
  • ebda19458c Core submodule crumbtoo 2023-11-15 10:09:42 -07:00
  • 7c4d8f8306 remove completed 'TODO' crumbtoo 2023-11-15 10:01:00 -07:00
  • 2701119615 check off arithmetic msydneyslaga 2023-11-15 08:10:53 -07:00
  • fb04f2bde1 (forgot to re-add the prelude) crumbtoo 2023-11-14 22:09:49 -07:00
  • 9bc0512410 better stats crumbtoo 2023-11-14 22:07:28 -07:00
  • ad94413100 be less eager in conditional primitives crumbtoo 2023-11-14 20:35:38 -07:00
  • 535c059afc indirection crumbtoo 2023-11-14 20:30:05 -07:00
  • 3ba7df2b04 shit actually works now crumbtoo 2023-11-14 20:00:42 -07:00
  • 703b18412c primArbitrary crumbtoo 2023-11-14 17:09:15 -07:00
  • a42a911d73 primBinary crumbtoo 2023-11-14 15:46:43 -07:00
  • 77c76b03ce constructed data! crumbtoo 2023-11-14 15:20:24 -07:00
  • f578b16d06 constructed data things crumbtoo 2023-11-14 14:52:21 -07:00
  • 3c667d4c23 Core.hs export list crumbtoo 2023-11-14 12:37:44 -07:00
  • 42c3ffb6ba move Prim to TIM.hs crumbtoo 2023-11-14 12:34:14 -07:00
  • a259d5c42b remove Prim constructor from Expr crumbtoo 2023-11-14 12:33:06 -07:00
  • 650e0a3cfe supercomb reduction doc crumbtoo 2023-11-14 12:17:29 -07:00
  • a10c5cb84b doc formatting crumbtoo 2023-11-14 12:09:43 -07:00
  • 2dd5ee1f2c rw scStep to use instantiateU crumbtoo 2023-11-14 11:47:19 -07:00
  • 8d431c9581 Control.Parser crumbtoo 2023-11-14 11:07:13 -07:00
  • 23c324fea2 TI -> TIM crumbtoo 2023-11-14 11:06:03 -07:00
  • 032bc0648f document a few strs crumbtoo 2023-11-14 11:05:46 -07:00
  • 70f3b5cde2 good starting point for docs crumbtoo 2023-11-14 09:20:25 -07:00
  • 5edbd733ac that never happened well do it tomorrow... crumbtoo 2023-11-13 23:19:37 -07:00
  • 4d9d1b62e1 Update state-transition-rules.md msydneyslaga 2023-11-13 22:37:06 -07:00
  • 6800997a8f begin docs crumbtoo 2023-11-13 22:26:08 -07:00
  • bc1a62120c other arith crumbtoo 2023-11-13 21:55:18 -07:00
  • 6f19d112e3 dyadic arith primitives work for unevaluated args crumbtoo 2023-11-13 21:51:41 -07:00
  • c0021937c5 dyadic arith primitives! (only works on NF args) crumbtoo 2023-11-13 21:16:46 -07:00
  • 694eaacbbd add negExample3 crumbtoo 2023-11-13 19:54:56 -07:00
  • 034f2cba9c we fucking did it gamers (negation) crumbtoo 2023-11-13 19:53:45 -07:00
  • 0f641c2c34 augh. (negation kinda? still no?) crumbtoo 2023-11-13 19:08:09 -07:00
  • cfb2569c83 remove Control.DFA crumbtoo 2023-11-13 17:36:56 -07:00
  • 371aa5343c auxiliary view functions for heap lookups crumbtoo 2023-11-13 17:36:06 -07:00
  • 416f5d89fa Update README.md msydneyslaga 2023-11-13 17:29:46 -07:00
  • 71f16ca2d7 expant on stg milestone crumbtoo 2023-11-13 14:37:42 -07:00
  • d7bd36ae49 STRs for negation primitive -- evaluator can negate ints crumbtoo 2023-11-13 14:29:28 -07:00
  • cc7f940ef8 Update README.md msydneyslaga 2023-11-13 13:29:44 -07:00
  • 31953c9fa1 uhh it shares now hooray for redex updation crumbtoo 2023-11-10 17:43:52 -07:00
  • 8ce258b9de ragh! crumbtoo 2023-11-10 17:38:17 -07:00
  • 0a9e4230ee letrec crumbtoo 2023-11-10 14:34:28 -07:00
  • 1f7272d0f0 sloppy code; TI support let-expressions crumbtoo 2023-11-10 14:14:14 -07:00
  • 71a8297451 cool! (core language mostly works) crumbtoo 2023-11-10 13:36:17 -07:00
  • 83cffc0a57 pretty instances for core language crumbtoo 2023-11-10 10:37:33 -07:00
  • d265a423b7 pretty printer crumbtoo 2023-11-09 18:59:00 -07:00
  • 2254aa0cbf moop crumbtoo 2023-11-09 16:33:43 -07:00
  • eac787a813 goop crumbtoo 2023-11-09 16:30:54 -07:00
  • 8e8632a86f whoops crumbtoo 2023-11-09 15:11:37 -07:00
  • 708e611799 pretty printer crumbtoo 2023-11-09 14:55:03 -07:00
  • 80e55e6437 dfa rework crumbtoo 2023-11-09 14:11:31 -07:00
  • 4c8eba0b41 template instantiation crumbtoo 2023-11-09 13:31:16 -07:00