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

Commit Graph

  • eb165c99fa i want to fucking die crumbtoo 2024-02-20 11:10:33 -07:00
  • 9c498bd0ea backstage crumbtoo 2024-02-17 01:56:29 -07:00
  • 22f19ce9a5 something crumbtoo 2024-02-16 18:23:02 -07:00
  • 709123d68e HasLocation crumbtoo 2024-02-16 17:22:24 -07:00
  • 953086d751 SrcSpan crumbtoo 2024-02-16 16:13:40 -07:00
  • a72b771506 no-ttg crumbtoo 2024-02-16 15:11:08 -07:00
  • e63824e035 no-ttg crumbtoo 2024-02-15 18:27:04 -07:00
  • 1a0ef46df8 bump main crumbtoo 2024-04-15 10:02:36 -06:00
  • fbd5ddbe9b renamePrettily bottom-up-hm crumbtoo 2024-04-04 13:23:55 -06:00
  • 72de57d47f whole-program inference crumbtoo 2024-04-04 12:29:02 -06:00
  • ef30c6ee17 bottom up crumbtoo 2024-04-03 16:03:17 -06:00
  • 7a065ff12b clj style crumbtoo 2024-04-02 14:45:41 -06:00
  • 9977002f82 ADTs crumbtoo 2024-03-28 11:55:36 -06:00
  • 211009dfa9 done crumbtoo 2024-03-28 11:35:59 -06:00
  • a492aadae3 gulp crumbtoo 2024-03-28 11:32:34 -06:00
  • 79348e0468 we're so back (whole program inference) crumbtoo 2024-03-28 11:10:22 -06:00
  • ff006abac0 it's so over (whole-program inference again) crumbtoo 2024-03-28 10:59:51 -06:00
  • d360edc476 i'm so fucked crumbtoo 2024-03-28 10:44:58 -06:00
  • 7e8be474c6 whole-program inference crumbtoo 2024-03-28 06:53:46 -06:00
  • 3ed6fc233f org crumbtoo 2024-03-27 16:33:21 -06:00
  • ef68cc4d9f letrec crumbtoo 2024-03-27 13:57:10 -06:00
  • bd6af6b98c errorful bleedOut crumbtoo 2024-03-27 11:26:45 -06:00
  • 7795547de8 letrec inference crumbtoo 2024-03-27 11:26:36 -06:00
  • e578adeb1f a tad prettier crumbtoo 2024-03-26 12:56:52 -06:00
  • fc54736354 rename prettily crumbtoo 2024-03-26 12:43:43 -06:00
  • 0650e1d32d rename prettily crumbtoo 2024-03-26 12:41:33 -06:00
  • f6c53879ff ppretty tyvars crumbtoo 2024-03-26 12:12:31 -06:00
  • d5261dc567 delete empty file crumbtoo 2024-03-26 10:07:21 -06:00
  • 739f304904 let-polymorphism working i think??? crumbtoo 2024-03-26 09:23:38 -06:00
  • 344c631dd0 newer ghc crumbtoo 2024-03-24 08:05:39 -06:00
  • eca712d0d7 something crumbtoo 2024-03-20 18:58:44 -06:00
  • dd600a8351 context crumbtoo 2024-03-20 15:46:23 -06:00
  • 61aea7b74a good enough eye candy crumbtoo 2024-03-18 14:52:19 -06:00
  • c3017ca445 type-checker and working visualiser crumbtoo 2024-03-18 10:27:06 -06:00
  • 6aae979a58 ??? crumbtoo 2024-03-17 09:25:29 -06:00
  • de058abc40 fix lambda inference crumbtoo 2024-03-17 06:25:29 -06:00
  • 15f6613bd2 last commit was crazy it was always an ifoldr crumbtoo 2024-03-17 06:01:15 -06:00
  • a8912dea5e there is a fucking ghost that keeps changing this ifoldr to an ifoldl. crumbtoo 2024-03-17 05:59:23 -06:00
  • 47c2d34551 kill me crumbtoo 2024-03-15 20:02:20 -06:00
  • e6d3a45e11 correctly apply substs crumbtoo 2024-03-15 18:47:52 -06:00
  • 0ca18b1179 typCheckRlpProgR forgot to solve constraints 💀 crumbtoo 2024-03-15 18:22:17 -06:00
  • fcd784441a infer under given context crumbtoo 2024-03-15 13:43:23 -06:00
  • 932fed8e5c begin hm visualiser crumbtoo 2024-03-14 16:26:51 -06:00
  • c85ba57247 pretty -> prettyprinter crumbtoo 2024-03-14 06:04:22 -06:00
  • c5a293acf8 html crumbtoo 2024-03-14 01:15:55 -06:00
  • 8fd75a67d3 seems to work functor-sum-test crumbtoo 2024-03-13 18:10:29 -06:00
  • e00e0eff3b preparing for rewrite #100 crumbtoo 2024-03-13 16:06:20 -06:00
  • 8d8651d549 fix: vlbrace error should popLayout crumbtoo 2024-03-11 11:05:50 -06:00
  • cf81b76c1a algW crumbtoo 2024-03-11 10:36:38 -06:00
  • 35c770c63c aoooohhh crumbtoo 2024-03-11 09:26:53 -06:00
  • e93548963a parse lambda crumbtoo 2024-03-08 16:28:40 -07:00
  • 215feb433b mgu crumbtoo 2024-03-07 10:20:42 -07:00
  • f6035b8a6a refactor gather crumbtoo 2024-03-06 17:46:35 -07:00
  • fe44fbfc77 begin gathering crumbtoo 2024-03-06 11:11:09 -07:00
  • 18e87c540b derive crumbtoo 2024-03-06 10:07:00 -07:00
  • 2d15dbb7ee lift1 fix crumbtoo 2024-03-05 13:08:15 -07:00
  • 156ef8d0a7 tysigd crumbtoo 2024-03-04 10:47:58 -07:00
  • c85c47839a caseE crumbtoo 2024-03-04 10:26:04 -07:00
  • 468d6e7745 ohhhh crumbtoo 2024-03-03 14:52:27 -07:00
  • 1b56a7a627 pretty crumbtoo 2024-03-03 14:09:10 -07:00
  • 451b003e08 lintCoreProg crumbtoo 2024-03-01 11:18:19 -07:00
  • c026f6f8f9 system F sysf crumbtoo 2024-02-29 09:52:08 -07:00
  • 16f7f51fb8 almost done crumbtoo 2024-02-27 14:48:02 -07:00
  • f8201b7d61 pretty-printing crumbtoo 2024-02-27 07:56:25 -07:00
  • b67fe4eb2d terse pretty-printing crumbtoo 2024-02-27 06:14:02 -07:00
  • 1315ea7ea8 parse crumbtoo 2024-02-27 05:12:19 -07:00
  • d60bd86842 it may not be perfection but it is progress crumbtoo 2024-02-26 18:18:02 -07:00
  • c226b2da88 HasBinders Binding crumbtoo 2024-02-26 17:03:20 -07:00
  • 893a01a8bb HasBinders Program crumbtoo 2024-02-26 16:41:54 -07:00
  • 4bbf3a3afe fromString for Fix crumbtoo 2024-02-26 14:59:37 -07:00
  • c8967572a6 Eq1 crumbtoo 2024-02-26 14:58:17 -07:00
  • 30fe41ce97 Eq1 crumbtoo 2024-02-26 14:57:22 -07:00
  • 8c2ea566dc instances for Fix crumbtoo 2024-02-26 14:29:57 -07:00
  • d9682561b8 instances (finally) crumbtoo 2024-02-26 12:23:21 -07:00
  • 4225bf8066 Bi{foldable,functor,traversable} crumbtoo 2024-02-26 10:41:41 -07:00
  • 15f65a79f6 instance hell crumbtoo 2024-02-26 10:12:33 -07:00
  • 240db0df3d clisp->sbcl crumbtoo 2024-02-23 20:34:38 -07:00
  • a582cd9fcf stopping for a bit crumbtoo 2024-02-22 15:56:00 -07:00
  • a50a4590c5 parser compiles crumbtoo 2024-02-22 15:08:55 -07:00
  • d3bcbf9624 things crumbtoo 2024-02-22 14:05:29 -07:00
  • fd47599b06 things crumbtoo 2024-02-22 14:05:24 -07:00
  • a7dd852464 fix hardcoded builddir crumbtoo 2024-02-22 10:51:43 -07:00
  • a2ad7856a6 fix default prettyPrec definition crumbtoo 2024-02-22 08:57:35 -07:00
  • c0baf46f29 Merge branch 'no-ttg' into dev crumbtoo 2024-02-22 08:15:03 -07:00
  • 09f393af89 good enough no-ttg crumbtoo 2024-02-20 14:34:42 -07:00
  • e63e34a3d8 ohhhhhhhh crumbtoo 2024-02-20 11:52:44 -07:00
  • 13e8701b8a why did i do this to myself crumbtoo 2024-02-20 11:26:35 -07:00
  • 66c3d878c2 i want to fucking die crumbtoo 2024-02-20 11:10:33 -07:00
  • 820bd7cdbc backstage crumbtoo 2024-02-17 01:56:29 -07:00
  • 9297d815d6 something crumbtoo 2024-02-16 18:23:02 -07:00
  • 910cf66468 HasLocation crumbtoo 2024-02-16 17:22:24 -07:00
  • da81a5a98e SrcSpan crumbtoo 2024-02-16 16:13:40 -07:00
  • caeec216b5 no-ttg crumbtoo 2024-02-16 15:11:08 -07:00
  • 1436f1124f Merge branch 'main' into dev v0.1.0 crumbtoo 2024-02-16 13:12:14 -07:00
  • f01164bf01 diagrams gm-visualiser crumbtoo 2024-02-15 22:06:41 -07:00
  • e9cab1ddaf no-ttg crumbtoo 2024-02-15 18:27:04 -07:00
  • 2e13ec2cf4 microlens -> lens crumbtoo 2024-02-13 13:42:43 -07:00
  • 36a17d092b rc (#13) crumb 2024-02-13 13:22:23 -07:00
  • ccc71a751c remove bad, incorrct, outdated docs crumbtoo 2024-02-13 13:20:39 -07:00
  • c57da862ae update readme crumbtoo 2024-02-13 12:57:01 -07:00