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

Commit Graph

  • 4c9ceb74d1 ready? crumbtoo 2024-02-13 12:52:06 -07:00
  • 8267548fab remove debug tracers crumbtoo 2024-02-13 12:01:46 -07:00
  • 968832bfaf remove debug code crumbtoo 2024-02-13 11:51:10 -07:00
  • 81b019e659 QuickSort example works i'm gonig to cry crumbtoo 2024-02-13 11:50:10 -07:00
  • cd2a283493 more nightmare GM fixes crumbtoo 2024-02-13 11:48:03 -07:00
  • bb41d3c196 gte gm prim crumbtoo 2024-02-13 10:42:45 -07:00
  • de16bf12df fix: tag nested data names crumbtoo 2024-02-13 10:42:17 -07:00
  • 8283826846 love when writing d instead of d-1 causes hours of stress ugh crumbtoo 2024-02-13 09:28:36 -07:00
  • 514abe802b ugh crumbtoo 2024-02-12 15:49:02 -07:00
  • 7b271e5265 bind VarP after pats crumbtoo 2024-02-12 11:52:48 -07:00
  • af42d4fbd6 print# gm primitive crumbtoo 2024-02-12 11:09:01 -07:00
  • 8ac301aa48 constants for bool tags crumbtoo 2024-02-12 09:47:16 -07:00
  • 941f228c6c decent state! crumbtoo 2024-02-12 07:44:10 -07:00
  • dfad80b163 lt crumbtoo 2024-02-12 07:34:16 -07:00
  • f53d42bf84 typechecking things crumbtoo 2024-02-09 19:07:34 -07:00
  • 17d764c2ec typed coreExpr quoter crumbtoo 2024-02-09 18:31:37 -07:00
  • 58838b9527 formatting crumbtoo 2024-02-09 18:07:08 -07:00
  • 615a6f1b07 update examples crumbtoo 2024-02-09 17:56:38 -07:00
  • 50a4d0010c small core fixes crumbtoo 2024-02-09 17:44:17 -07:00
  • c37e8bdf15 Rlp2Core: pattern let binds crumbtoo 2024-02-09 17:04:33 -07:00
  • 2492660da4 Rlp2Core: simple let binds crumbtoo 2024-02-09 14:46:50 -07:00
  • 5749c0efd3 Merge branch 'dev' of github.com:msydneyslaga/rlp into dev crumbtoo 2024-02-09 08:11:32 -07:00
  • 4b8c55d2d8 Update README.md crumb 2024-02-09 01:44:32 -07:00
  • 17058d3f8c letrec + typechecking core crumbtoo 2024-02-08 18:40:46 -07:00
  • a2b4bd2afc examples crumbtoo 2024-02-08 16:43:02 -07:00
  • 6dd581a25f examples crumbtoo 2024-02-08 16:42:57 -07:00
  • 1d8eddc63f fix evil lexer bug (it was actually quite subtle unlike prev.) crumbtoo 2024-02-08 16:42:37 -07:00
  • 5fdba5b862 fix evil parser bug (it was a fucking typo) crumbtoo 2024-02-08 16:29:23 -07:00
  • 055fbfd40c .hs -> .cr crumbtoo 2024-02-08 14:02:03 -07:00
  • d2e301fad7 tidying crumbtoo 2024-02-08 14:00:43 -07:00
  • 8a94288e5a remove unnecessary comment crumbtoo 2024-02-08 12:13:40 -07:00
  • 1c3286f047 ppr datatags crumbtoo 2024-02-08 12:12:57 -07:00
  • fba46296db ppr typesigs crumbtoo 2024-02-08 11:40:13 -07:00
  • 6c943af4a1 ppr debug flags crumbtoo 2024-02-08 09:26:53 -07:00
  • 1079fc7c9b Update README.md crumb 2024-02-08 00:58:58 -07:00
  • 357da25795 diagram crumbtoo 2024-02-08 00:36:31 -07:00
  • af5463f8f0 diagram crumbtoo 2024-02-08 00:36:23 -07:00
  • bb2a07d2e9 define datatags crumbtoo 2024-02-07 23:45:38 -07:00
  • c6f9c615b4 fix top-level layout crumbtoo 2024-02-07 21:38:01 -07:00
  • 96b73eced0 remove old files crumbtoo 2024-02-07 19:12:48 -07:00
  • ec5f85f428 remove old files crumbtoo 2024-02-07 19:11:04 -07:00
  • 80425a274c sigh i'm gonna have to nuke the ast again in a month crumbtoo 2024-02-07 18:52:19 -07:00
  • 2a51daf356 WIP associate postproc crumbtoo 2024-02-07 15:19:03 -07:00
  • 98bed84807 desugar crumbtoo 2024-02-07 15:18:47 -07:00
  • 719d5a4089 fix incomplete byTag crumbtoo 2024-02-07 14:26:47 -07:00
  • 77d27dccde tidy crumbtoo 2024-02-07 12:09:16 -07:00
  • 71170d6d42 NameSupply effect crumbtoo 2024-02-07 11:43:33 -07:00
  • d6529d50ff tidying crumbtoo 2024-02-07 11:19:36 -07:00
  • 868b63e6ef her light cuts deep time and time again crumbtoo 2024-02-07 11:08:17 -07:00
  • 12d261ede1 rose crumbtoo 2024-02-06 18:49:41 -07:00
  • 2895e3cb48 case unrolling crumbtoo 2024-02-06 13:39:01 -07:00
  • 15884336f1 parse case exprs crumbtoo 2024-02-06 13:04:36 -07:00
  • 57f5206b16 fix layout_let crumbtoo 2024-02-06 12:08:37 -07:00
  • 0c98bca174 expandableAlt crumbtoo 2024-02-06 11:04:17 -07:00
  • bd55efc5ed expandableAlt crumbtoo 2024-02-06 10:52:01 -07:00
  • 4f9f00dfee sc crumbtoo 2024-02-04 20:52:23 -07:00
  • b84992787c rlp TH crumbtoo 2024-02-04 19:19:37 -07:00
  • 0fc82f3fa8 something crumbtoo 2024-02-04 18:59:48 -07:00
  • 21d13ea73b ccoool crumbtoo 2024-02-02 19:15:39 -07:00
  • 38d1044f5d rlp2core base crumbtoo 2024-02-02 15:10:04 -07:00
  • c9d1ca51f5 XRec fix crumbtoo 2024-02-01 18:15:40 -07:00
  • 77f2f900d8 core driver errorful crumbtoo 2024-02-01 15:24:16 -07:00
  • ff5a5af9bc -ddump-eval crumbtoo 2024-02-01 12:14:43 -07:00
  • 7a6518583f debug tags crumbtoo 2024-02-01 11:57:37 -07:00
  • dda0e17358 -ddump-ast crumbtoo 2024-02-01 11:37:52 -07:00
  • 46f0393a03 *R functions crumbtoo 2024-02-01 10:37:51 -07:00
  • 1803a1e058 formatting crumbtoo 2024-02-01 09:05:58 -07:00
  • ccf17faff8 driver progress crumbtoo 2024-01-30 16:19:03 -07:00
  • 14df00039f error messages crumbtoo 2024-01-30 15:56:45 -07:00
  • ba099b7028 organisation and cleaning ttg crumbtoo 2024-01-30 14:04:27 -07:00
  • e962bacd2e fixup! ttg boilerplate crumbtoo 2024-01-30 13:04:23 -07:00
  • f0c652b861 fixup! ttg boilerplate crumbtoo 2024-01-30 13:03:07 -07:00
  • 6a41e123ea ttg boilerplate crumbtoo 2024-01-30 13:01:01 -07:00
  • fbea3d6f3d let layout crumbtoo 2024-01-28 19:41:36 -07:00
  • ab979cb934 i should've made a lisp man this sucks crumbtoo 2024-01-28 19:33:05 -07:00
  • 7d42f9b641 at long last crumbtoo 2024-01-28 17:54:39 -07:00
  • fdaa2a1afd abandon ship crumbtoo 2024-01-28 17:02:32 -07:00
  • 83dda869f8 show crumbtoo 2024-01-28 16:24:08 -07:00
  • c74c192645 idk crumbtoo 2024-01-26 19:19:41 -07:00
  • e00e4d3418 it's also a comonad. lol. crumbtoo 2024-01-26 17:53:05 -07:00
  • 8d0f324c63 oh my god guys!!! Located is a lax semimonoidal endofunctor on the category Hask!!! crumbtoo 2024-01-26 17:25:59 -07:00
  • 6a6076f26e some crumbtoo 2024-01-26 15:12:10 -07:00
  • 559fd49f2b minor changes errorful-everything crumbtoo 2024-01-25 15:52:56 -07:00
  • bb3f73836c nearing release :3 named-core-case crumbtoo 2024-01-25 13:18:04 -07:00
  • eeeac9cc85 named constr tests crumbtoo 2024-01-25 13:02:12 -07:00
  • 4f39dd36f1 resolve named data in case exprs crumbtoo 2024-01-25 12:39:57 -07:00
  • 4c99e44c04 temporary pragma system crumbtoo 2024-01-25 11:15:09 -07:00
  • 170e4e36ae new tag syntax; preparing for Core patterns crumbtoo 2024-01-24 11:30:34 -07:00
  • d52a366c1b small fixups crumbtoo 2024-01-24 11:03:51 -07:00
  • 0025d33069 stable enough for a demo hey? crumbtoo 2024-01-24 10:14:44 -07:00
  • 7c474cc064 minor docs crumbtoo 2024-01-24 09:49:27 -07:00
  • fbef645746 checklist crumbtoo 2024-01-24 09:39:06 -07:00
  • c8199a9dd1 minor docs crumbtoo 2024-01-24 09:31:57 -07:00
  • 5ce11dfdd7 RlpExpr LetE Rec frontend-parser crumbtoo 2024-01-23 21:24:14 -07:00
  • 3d45e12676 infer letrec expressions hm crumbtoo 2024-01-23 21:08:17 -07:00
  • 22b5b47795 letrec crumbtoo 2024-01-23 20:19:16 -07:00
  • cefdf6ffae allow uppercase sc names in preperation for Rlp2Core crumbtoo 2024-01-22 12:45:42 -07:00
  • e3b18c8915 errors! crumbtoo 2024-01-22 12:20:05 -07:00
  • 692d22afb9 msgenvelope crumbtoo 2024-01-22 10:26:33 -07:00
  • c146e1c450 errorful parser crumbtoo 2024-01-22 09:59:48 -07:00