msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

Commit Graph

  • 20c936f317 commentary crumbtoo 2023-12-14 16:12:20 -07:00
  • 136e3687b0 Literal -> Lit, LitE -> Lit crumbtoo 2023-12-18 15:36:17 -07:00
  • 585130cfac update readme v0.0.0-alpha crumbtoo 2023-12-14 14:27:16 -07:00
  • bc3bd92c43 update readme crumbtoo 2023-12-14 14:16:46 -07:00
  • 81a324111e Merge pull request #7 from msydneyslaga/dev msydneyslaga 2023-12-14 14:06:48 -07:00
  • 1d5af748b3 idCase test crumbtoo 2023-12-14 14:04:51 -07:00
  • ce0a135666 Merge pull request #6 from msydneyslaga/dev msydneyslaga 2023-12-14 13:43:21 -07:00
  • eaac7ad7a3 Merge branch 'main' into dev msydneyslaga 2023-12-14 13:43:07 -07:00
  • 633882119b add examples crumbtoo 2023-12-14 13:29:08 -07:00
  • f2b6e43d59 div zero test-example-programs crumbtoo 2023-12-14 13:22:50 -07:00
  • 5ea629a439 real tests! crumbtoo 2023-12-14 12:59:31 -07:00
  • 7a0b2e0711 test lazy arith crumbtoo 2023-12-13 11:45:03 -07:00
  • c03b2a5473 arith fixes crumbtoo 2023-12-13 11:35:09 -07:00
  • 906bdc59b7 arith fixes (everything seems to work) crumbtoo 2023-12-14 11:59:27 -07:00
  • 1f2d540c72 test lazy arith crumbtoo 2023-12-13 11:45:03 -07:00
  • 9c7c9c4730 arith fixes crumbtoo 2023-12-13 11:35:09 -07:00
  • f45c06cad5 Merge pull request #5 from msydneyslaga/dev msydneyslaga 2023-12-13 11:05:27 -07:00
  • 0caeeccde1 awkwardly demos broken dev branch crumbtoo 2023-12-13 11:03:43 -07:00
  • 70e0746932 rm Rename crumbtoo 2023-12-12 18:06:17 -07:00
  • a65ae0bd52 rlp syntax crumbtoo 2023-12-12 13:50:07 -07:00
  • f552461cb3 help crumbtoo 2023-12-11 18:28:12 -07:00
  • 50c0eaf84c Update README.md msydneyslaga 2023-12-11 18:27:31 -07:00
  • 56f1fe4ee7 default value for --heap-trigger crumbtoo 2023-12-11 18:23:26 -07:00
  • b371e84d80 gm + gmPrep wiring crumbtoo 2023-12-11 18:05:17 -07:00
  • b31c50dd72 update old name crumbtoo 2023-12-11 17:30:32 -07:00
  • 7391148d62 gmPrep crumbtoo 2023-12-11 17:25:41 -07:00
  • 6c43f86397 cleanup crumbtoo 2023-12-11 14:37:53 -07:00
  • b371b75c5e Update README.md msydneyslaga 2023-12-11 14:22:52 -07:00
  • 1038745929 Update README.md msydneyslaga 2023-12-11 14:22:41 -07:00
  • 427d9d2b29 Merge pull request #4 from msydneyslaga/annotated-expr msydneyslaga 2023-12-11 14:20:00 -07:00
  • 238729cf1e core2core crumbtoo 2023-12-11 14:18:48 -07:00
  • e477891bc3 cleanup crumbtoo 2023-12-08 14:55:30 -07:00
  • f728b91a8a add annotation param to Expr crumbtoo 2023-12-08 09:37:20 -07:00
  • d50bce22be Update README.md msydneyslaga 2023-12-08 09:37:46 -07:00
  • a00405ebd4 gc crumbtoo 2023-12-07 15:07:54 -07:00
  • c48a4ef4c0 hooray (factorial works on GM) crumbtoo 2023-12-07 13:14:48 -07:00
  • c31d12bde8 womp (no deepeval) crumbtoo 2023-12-07 12:05:48 -07:00
  • 791c5f6478 fix evil bug crumbtoo 2023-12-07 09:39:26 -07:00
  • d5e18efad4 renamer goal crumbtoo 2023-12-06 19:46:21 -07:00
  • 908727f9f5 deep eval rule crumbtoo 2023-12-06 19:39:04 -07:00
  • ed8075a65f fixup crumbtoo 2023-12-06 19:09:40 -07:00
  • 38e42752cf cleanup crumbtoo 2023-12-06 17:15:03 -07:00
  • 32964aff1c Update README.md msydneyslaga 2023-12-06 19:34:14 -07:00
  • dade0a13a2 cleanup crumbtoo 2023-12-06 17:15:03 -07:00
  • f6d87cfb6b case exprs! crumbtoo 2023-12-06 16:41:38 -07:00
  • 07c3064a72 oh boy (pack) crumbtoo 2023-12-06 15:29:03 -07:00
  • 87d3aac1fb finally fix dispatch scope crumbtoo 2023-12-06 11:23:44 -07:00
  • 1b51ee0c64 use Key to index Env crumbtoo 2023-12-06 11:17:26 -07:00
  • 3a17eb473f temporary constructor syntax crumbtoo 2023-12-06 10:29:20 -07:00
  • 22a27dca3b case expr rules crumbtoo 2023-12-06 10:22:38 -07:00
  • 23f9f726fa w crumbtoo 2023-12-04 19:53:40 -07:00
  • cb0de3b26b bhick crumbtoo 2023-12-04 19:52:35 -07:00
  • cb7c4fed95 check! crumbtoo 2023-12-04 19:33:32 -07:00
  • 43454fa2e0 tests crumbtoo 2023-12-04 18:43:06 -07:00
  • 799cc8e398 ugh crumbtoo 2023-12-04 16:57:43 -07:00
  • 6767bd0b4f docs -> doc crumbtoo 2023-12-04 14:51:44 -07:00
  • cb6321fbf8 -Wall; no warnings crumbtoo 2023-12-04 14:50:50 -07:00
  • 5c3b7c2c30 strict arith crumbtoo 2023-12-04 13:50:48 -07:00
  • a3a38cb256 Eval main rather than Unwinding it crumbtoo 2023-12-04 13:06:50 -07:00
  • 7ef3bf1082 prim arith hooray crumbtoo 2023-12-04 11:21:00 -07:00
  • 44030fab0a more doc corrections crumbtoo 2023-12-04 07:09:05 -07:00
  • 535f2781b9 clarify current state of "WHNF" crumbtoo 2023-12-04 06:39:13 -07:00
  • f2b5ec1a52 consistent naming crumbtoo 2023-12-04 06:37:42 -07:00
  • cd763db4c9 dump and docs crumbtoo 2023-12-01 17:54:55 -07:00
  • 3395b35aad name crumbtoo 2023-12-01 15:18:09 -07:00
  • f2da7938d5 docs crumbtoo 2023-12-01 15:16:54 -07:00
  • 9570b1935a Merge pull request #3 from msydneyslaga/gm-m3 msydneyslaga 2023-12-01 14:45:08 -07:00
  • 73a1e4d259 letrec :D crumbtoo 2023-12-01 14:43:40 -07:00
  • e0dc3f58f7 letnonrec crumbtoo 2023-12-01 13:38:16 -07:00
  • 08f9fd1583 Update README.md msydneyslaga 2023-12-01 13:34:12 -07:00
  • c016eeff91 Update README.md msydneyslaga 2023-12-01 13:33:22 -07:00
  • b9448b00d5 Update README.md msydneyslaga 2023-12-01 10:55:52 -07:00
  • 280b074acc Update README.md msydneyslaga 2023-12-01 10:55:11 -07:00
  • d078306384 Update README.md msydneyslaga 2023-12-01 10:45:18 -07:00
  • d8ed47bbb7 Update README.md msydneyslaga 2023-12-01 10:42:25 -07:00
  • d71f839055 Update README.md msydneyslaga 2023-12-01 10:34:54 -07:00
  • 9dbcb2c18b arg push crumbtoo 2023-11-30 15:33:46 -07:00
  • 8c716212df TIM -> TI crumbtoo 2023-11-30 14:14:19 -07:00
  • 089afa0ea1 TIM -> TI crumbtoo 2023-11-30 14:08:19 -07:00
  • e01f0d67a9 Merge pull request #2 from msydneyslaga/gm-mark2 msydneyslaga 2023-11-30 14:02:50 -07:00
  • 5484165ab5 gm m2 crumbtoo 2023-11-30 13:45:54 -07:00
  • 5b0fdead90 fix NNum sharing not updating env crumbtoo 2023-11-30 11:14:52 -07:00
  • b15bb0d716 formatting crumbtoo 2023-11-30 11:11:22 -07:00
  • 4754601f1b NNum sharing crumbtoo 2023-11-30 10:36:13 -07:00
  • 5cf1e86732 oops crumbtoo 2023-11-30 09:47:21 -07:00
  • 11f80cad32 cute commentary chapter titles crumbtoo 2023-11-30 09:41:16 -07:00
  • 1e43039292 comments and readability crumbtoo 2023-11-30 09:32:01 -07:00
  • 2d62038d07 g-machine mark 1 hooray crumbtoo 2023-11-30 09:16:51 -07:00
  • 0c06550189 why did i think s was succ crumbtoo 2023-11-30 08:38:43 -07:00
  • 04c55a9968 showStats crumbtoo 2023-11-29 17:53:14 -07:00
  • 066f883178 docs and gm pretty printer crumbtoo 2023-11-29 17:23:41 -07:00
  • 60162f30f3 length crumbtoo 2023-11-29 11:39:01 -07:00
  • 3ce3b01e2d whoops heap crumbtoo 2023-11-29 11:34:44 -07:00
  • f642faed71 extractProgram crumbtoo 2023-11-29 11:11:16 -07:00
  • febc5a0252 better error message crumbtoo 2023-11-29 11:11:07 -07:00
  • 1e7e881791 Data.Heap haddock header crumbtoo 2023-11-29 11:10:55 -07:00
  • 2be598b476 drop hSize in favour of length crumbtoo 2023-11-29 10:59:16 -07:00
  • bb9e0a9cc9 begin gm crumbtoo 2023-11-28 16:45:02 -07:00
  • b05f17de13 fix link crumbtoo 2023-11-28 12:19:04 -07:00
  • 8b61856977 begin gm docs crumbtoo 2023-11-28 12:18:49 -07:00