msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity
208 Commits 19 Branches 2 Tags
v0.0.0-alpha
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
crumbtoo 585130cfac update readme 2023-12-14 14:27:16 -07:00
crumbtoo bc3bd92c43 update readme 2023-12-14 14:16:46 -07:00
crumbtoo 1d5af748b3 idCase test 2023-12-14 14:04:51 -07:00
crumbtoo 633882119b add examples 2023-12-14 13:29:08 -07:00
crumbtoo f2b6e43d59 div zero 2023-12-14 13:22:50 -07:00
crumbtoo 5ea629a439 real tests! 2023-12-14 12:59:31 -07:00
crumbtoo 7a0b2e0711 test lazy arith 2023-12-14 12:02:46 -07:00
crumbtoo c03b2a5473 arith fixes 2023-12-14 12:02:43 -07:00
crumbtoo 906bdc59b7 arith fixes (everything seems to work) 2023-12-14 11:59:27 -07:00
crumbtoo 1f2d540c72 test lazy arith 2023-12-13 11:45:03 -07:00
crumbtoo 9c7c9c4730 arith fixes 2023-12-13 11:38:34 -07:00
crumbtoo 0caeeccde1 awkwardly demos broken dev branch 2023-12-13 11:03:43 -07:00
crumbtoo 70e0746932 rm Rename 2023-12-12 18:06:17 -07:00
crumbtoo a65ae0bd52 rlp syntax 
gonna work on typechecking now lol.......
 2023-12-12 13:50:07 -07:00
crumbtoo f552461cb3 help 2023-12-11 18:28:33 -07:00
crumbtoo 56f1fe4ee7 default value for --heap-trigger 2023-12-11 18:23:26 -07:00
crumbtoo b371e84d80 gm + gmPrep wiring 2023-12-11 18:05:17 -07:00
crumbtoo b31c50dd72 update old name 2023-12-11 17:30:32 -07:00
crumbtoo 7391148d62 gmPrep 2023-12-11 17:25:41 -07:00
crumbtoo 6c43f86397 cleanup 2023-12-11 14:37:53 -07:00
crumbtoo 238729cf1e core2core 2023-12-11 14:18:48 -07:00
crumbtoo e477891bc3 cleanup 2023-12-08 14:55:30 -07:00
crumbtoo f728b91a8a add annotation param to Expr 
nightmare breaking changes. never listening to the "i'll do it later if i REALLY need it" part of my brain again.

add annotation param to Expr
 2023-12-08 09:49:03 -07:00
crumbtoo a00405ebd4 gc 
gc
 2023-12-07 15:14:52 -07:00
crumbtoo c48a4ef4c0 hooray (factorial works on GM) 2023-12-07 13:14:48 -07:00
crumbtoo c31d12bde8 womp (no deepeval) 2023-12-07 12:05:48 -07:00
crumbtoo 791c5f6478 fix evil bug 
unwind unsaturated SC rule was not firing
 2023-12-07 09:39:26 -07:00
crumbtoo d5e18efad4 renamer goal 2023-12-06 19:46:21 -07:00
crumbtoo 908727f9f5 deep eval rule 2023-12-06 19:41:13 -07:00
crumbtoo ed8075a65f fixup 
fixup
 2023-12-06 19:41:13 -07:00
crumbtoo 38e42752cf cleanup 
cleanup
 2023-12-06 19:41:12 -07:00
crumbtoo dade0a13a2 cleanup 2023-12-06 17:15:03 -07:00
crumbtoo f6d87cfb6b case exprs! 2023-12-06 16:41:38 -07:00
crumbtoo 07c3064a72 oh boy (pack) 2023-12-06 15:29:03 -07:00
crumbtoo 87d3aac1fb finally fix dispatch scope 2023-12-06 11:23:44 -07:00
crumbtoo 1b51ee0c64 use Key to index Env 2023-12-06 11:17:26 -07:00
crumbtoo 3a17eb473f temporary constructor syntax 2023-12-06 10:29:20 -07:00
crumbtoo 22a27dca3b case expr rules 2023-12-06 10:22:38 -07:00
crumbtoo 23f9f726fa w 2023-12-04 19:53:40 -07:00
crumbtoo cb0de3b26b bhick 2023-12-04 19:52:35 -07:00
crumbtoo cb7c4fed95 check! 2023-12-04 19:33:32 -07:00
crumbtoo 43454fa2e0 tests 2023-12-04 18:43:06 -07:00
crumbtoo 799cc8e398 ugh 2023-12-04 16:57:43 -07:00
crumbtoo 6767bd0b4f docs -> doc 
lol
 2023-12-04 14:51:44 -07:00
crumbtoo cb6321fbf8 -Wall; no warnings 2023-12-04 14:50:50 -07:00
crumbtoo 5c3b7c2c30 strict arith 2023-12-04 13:50:48 -07:00
crumbtoo a3a38cb256 Eval main rather than Unwinding it 2023-12-04 13:06:50 -07:00
crumbtoo 7ef3bf1082 prim arith hooray 2023-12-04 11:21:00 -07:00
crumbtoo 44030fab0a more doc corrections 
this is why i don't even *try* to work unmedicated
 2023-12-04 07:09:05 -07:00
crumbtoo 535f2781b9 clarify current state of "WHNF" 
doc corrections

doc corrections
 2023-12-04 06:50:34 -07:00
crumbtoo f2b5ec1a52 consistent naming 2023-12-04 06:37:42 -07:00
crumbtoo cd763db4c9 dump and docs 2023-12-01 17:54:55 -07:00
crumbtoo 3395b35aad name 2023-12-01 15:18:09 -07:00
crumbtoo f2da7938d5 docs 2023-12-01 15:16:54 -07:00
crumbtoo 73a1e4d259 letrec :D 2023-12-01 14:43:40 -07:00
crumbtoo e0dc3f58f7 letnonrec 2023-12-01 13:38:16 -07:00
crumbtoo 9dbcb2c18b arg push 2023-11-30 15:33:46 -07:00
crumbtoo 8c716212df TIM -> TI 2023-11-30 14:14:19 -07:00
crumbtoo 089afa0ea1 TIM -> TI 2023-11-30 14:08:19 -07:00
crumbtoo 5484165ab5 gm m2 2023-11-30 13:45:54 -07:00
crumbtoo 5b0fdead90 fix NNum sharing not updating env 
when will i learn to confirm results before pushing...
 2023-11-30 11:14:52 -07:00
crumbtoo b15bb0d716 formatting 2023-11-30 11:11:22 -07:00
crumbtoo 4754601f1b NNum sharing 2023-11-30 10:36:13 -07:00
crumbtoo 5cf1e86732 oops 2023-11-30 09:47:21 -07:00
crumbtoo 11f80cad32 cute commentary chapter titles 2023-11-30 09:41:16 -07:00
crumbtoo 1e43039292 comments and readability 2023-11-30 09:32:01 -07:00
crumbtoo 2d62038d07 g-machine mark 1 hooray 2023-11-30 09:16:51 -07:00
crumbtoo 0c06550189 why did i think s was succ 2023-11-30 08:38:43 -07:00
crumbtoo 04c55a9968 showStats 2023-11-29 17:53:14 -07:00
crumbtoo 066f883178 docs and gm pretty printer 2023-11-29 17:23:41 -07:00
crumbtoo 60162f30f3 length 2023-11-29 11:39:01 -07:00
crumbtoo 3ce3b01e2d whoops heap 2023-11-29 11:34:44 -07:00
crumbtoo f642faed71 extractProgram 2023-11-29 11:11:16 -07:00
crumbtoo febc5a0252 better error message 2023-11-29 11:11:07 -07:00
crumbtoo 1e7e881791 Data.Heap haddock header 2023-11-29 11:10:55 -07:00
crumbtoo 2be598b476 drop hSize in favour of length 2023-11-29 10:59:16 -07:00
crumbtoo bb9e0a9cc9 begin gm 2023-11-28 16:45:02 -07:00
crumbtoo b05f17de13 fix link 2023-11-28 12:19:04 -07:00
crumbtoo 8b61856977 begin gm docs 2023-11-28 12:18:49 -07:00
crumbtoo b8973cbed7 stg -> tim 2023-11-28 09:18:00 -07:00
crumbtoo fb52e63485 totally didn't add the wrong module description 2023-11-27 17:55:55 -07:00
crumbtoo faa6d75c18 more haddock headers 2023-11-27 17:52:59 -07:00
crumbtoo 32200a67af haddock module headers 2023-11-27 17:50:34 -07:00
crumbtoo 77f0e7521e small steps towards actual error handling 2023-11-27 17:38:46 -07:00
crumbtoo 6fffb1345b formatting 2023-11-27 17:30:49 -07:00
crumbtoo 7f6813beb5 tidy things up 2023-11-27 17:29:00 -07:00
crumbtoo c0ebd227fc remove debug traces 2023-11-25 04:20:44 -07:00
crumbtoo 57d08046de good gc 2023-11-25 04:17:15 -07:00
crumbtoo 2153861927 shitty gc 2023-11-25 00:51:44 -07:00
crumbtoo d91043fd63 operations on lists 2023-11-24 16:03:17 -07:00
crumbtoo ec87ed49f8 implement corePrelude in core language 2023-11-24 14:59:21 -07:00
crumbtoo 0b72bc8f11 temporarily remove layout support 
the core language doesn't need it. let's just keep the core simple for now while i focus on more important things
 2023-11-24 14:13:20 -07:00
crumbtoo 1cd7b5a25b comment 2023-11-24 01:17:35 -07:00
crumbtoo 8724df05fe corrections 2023-11-24 00:42:48 -07:00
crumbtoo f1f711c9ca lists! 2023-11-24 00:29:37 -07:00
crumbtoo 5e7192fd6e better log output 2023-11-23 01:54:45 -07:00
crumbtoo f4d88e9478 cleaning duties 2023-11-23 01:34:31 -07:00
crumbtoo d84fe56fbb pairs :3 2023-11-23 00:56:47 -07:00
crumbtoo ac6c0b7457 shitty temp frontend 2023-11-22 21:53:36 -07:00
crumbtoo 8195895233 str corrections 2023-11-22 16:31:58 -07:00