Commit Graph

  • 5416de8ee5 heap gm-visualiser-2 crumbtoo 2024-04-30 14:48:05 -06:00
  • b0a04c255c fix splits crumbtoo 2024-04-29 12:35:44 -06:00
  • da4c944eb3 code and stack improvements crumbtoo 2024-04-29 12:17:29 -06:00
  • 68aa0df2a4 overflow: scroll crumbtoo 2024-04-26 09:54:38 -06:00
  • d4bc5d46d1 stackish crumbtoo 2024-04-26 09:38:11 -06:00
  • 64266e6cbe minimal code crumbtoo 2024-04-25 15:05:59 -06:00
  • 5876afec40 splits crumbtoo 2024-04-25 14:28:57 -06:00
  • 6f5c7ee284 socket crumbtoo 2024-04-24 13:10:26 -06:00
  • 3c234e6002 ugh crumbtoo 2024-04-23 12:38:03 -06:00
  • 447c8ceebf fuck you crumbtoo 2024-04-23 11:20:30 -06:00
  • cf69c2ee90 ignore crumbtoo 2024-04-23 11:18:22 -06:00
  • fd288d696b post dev crumbtoo 2024-04-18 04:34:27 -06:00
  • 9bb28123c6 formatting crumbtoo 2024-04-10 10:07:35 -06:00
  • 3075aadf3d rotten codebase crumbtoo 2024-04-08 12:52:31 -06:00
  • 2944025327 extremely basic Rlp2Core crumbtoo 2024-04-07 14:17:41 -06:00
  • dd93b76b69 architecture diagram crumbtoo 2024-04-05 15:41:16 -06:00
  • acc481cd29 readme crumbtoo 2024-04-05 15:27:19 -06:00
  • bcf6dc1951 case expression inference crumbtoo 2024-04-05 15:21:49 -06:00
  • 5511d70e26 adt support in type inference crumbtoo 2024-04-05 12:28:58 -06:00
  • c147b6f3db update notes crumbtoo 2024-04-05 11:35:07 -06:00
  • 0f9afe1b2c update notes to reflect last meeting crumbtoo 2024-04-05 11:30:15 -06:00
  • 811f8e539d update todo list crumbtoo 2024-04-04 13:28:13 -06:00
  • 1c5cf2974e renamePrettily crumbtoo 2024-04-04 13:23:55 -06:00
  • 5198784f7d whole-program inference crumbtoo 2024-04-04 12:29:02 -06:00
  • 7c8dae9813 bottom up crumbtoo 2024-04-03 16:03:17 -06:00
  • 0f9c179f20 clj style crumbtoo 2024-04-02 14:45:41 -06:00
  • 4a5edf8248 ADTs crumbtoo 2024-03-28 11:55:36 -06:00
  • 6699575951 done crumbtoo 2024-03-28 11:35:59 -06:00
  • b9634e5530 gulp crumbtoo 2024-03-28 11:32:34 -06:00
  • ba7ee8bc2c we're so back (whole program inference) crumbtoo 2024-03-28 11:10:22 -06:00
  • fa2b2d6ed5 it's so over (whole-program inference again) crumbtoo 2024-03-28 10:59:51 -06:00
  • ddd1e7b931 i'm so fucked crumbtoo 2024-03-28 10:44:58 -06:00
  • 2e16dca562 whole-program inference crumbtoo 2024-03-28 06:53:46 -06:00
  • 561d69089b org crumbtoo 2024-03-27 16:33:21 -06:00
  • 92305b2031 letrec crumbtoo 2024-03-27 13:57:10 -06:00
  • b6a4f71706 errorful bleedOut crumbtoo 2024-03-27 11:26:45 -06:00
  • 807088e1db letrec inference crumbtoo 2024-03-27 11:26:36 -06:00
  • 5b6e46e01f a tad prettier crumbtoo 2024-03-26 12:56:52 -06:00
  • 55ad136e31 rename prettily crumbtoo 2024-03-26 12:43:43 -06:00
  • f56990a59a rename prettily crumbtoo 2024-03-26 12:41:33 -06:00
  • ed353f02ab ppretty tyvars crumbtoo 2024-03-26 12:12:31 -06:00
  • d217b5b830 delete empty file crumbtoo 2024-03-26 10:07:21 -06:00
  • 0b4c5e5669 let-polymorphism working i think??? crumbtoo 2024-03-26 09:23:38 -06:00
  • 93ef870e56 newer ghc crumbtoo 2024-03-24 08:05:39 -06:00
  • 9678d3206a something crumbtoo 2024-03-20 18:58:44 -06:00
  • e75c9ac283 context crumbtoo 2024-03-20 15:46:23 -06:00
  • 4f55b5387d good enough eye candy crumbtoo 2024-03-18 14:52:19 -06:00
  • 3bc9dbb431 type-checker and working visualiser crumbtoo 2024-03-18 10:27:06 -06:00
  • e3d7c49370 ??? crumbtoo 2024-03-17 09:25:29 -06:00
  • 0e240c5256 fix lambda inference crumbtoo 2024-03-17 06:25:29 -06:00
  • 64482660e1 last commit was crazy it was always an ifoldr crumbtoo 2024-03-17 06:01:15 -06:00
  • 99ef4535ba there is a fucking ghost that keeps changing this ifoldr to an ifoldl. crumbtoo 2024-03-17 05:59:23 -06:00
  • e1924229bb kill me crumbtoo 2024-03-15 20:02:20 -06:00
  • 7727fbe668 correctly apply substs crumbtoo 2024-03-15 18:47:52 -06:00
  • 48ccda9549 typCheckRlpProgR forgot to solve constraints 💀 crumbtoo 2024-03-15 18:22:17 -06:00
  • 010c719eac infer under given context crumbtoo 2024-03-15 13:43:23 -06:00
  • c72d93216a begin hm visualiser crumbtoo 2024-03-14 16:26:51 -06:00
  • 623acb3454 pretty -> prettyprinter crumbtoo 2024-03-14 06:04:22 -06:00
  • 175e58f13c html crumbtoo 2024-03-14 01:15:55 -06:00
  • 257d12e532 seems to work crumbtoo 2024-03-13 18:10:29 -06:00
  • 37e0c9308c preparing for rewrite #100 crumbtoo 2024-03-13 16:06:20 -06:00
  • 8ba20a5948 fix: vlbrace error should popLayout crumbtoo 2024-03-11 11:05:50 -06:00
  • de41536e1d algW crumbtoo 2024-03-11 10:36:38 -06:00
  • 07973ca500 aoooohhh crumbtoo 2024-03-11 09:26:53 -06:00
  • 52657a6a14 parse lambda crumbtoo 2024-03-08 16:28:40 -07:00
  • 24b4187df0 mgu crumbtoo 2024-03-07 10:20:42 -07:00
  • 28ed317147 refactor gather crumbtoo 2024-03-06 17:46:35 -07:00
  • 407a8f0a16 begin gathering crumbtoo 2024-03-06 11:11:09 -07:00
  • 67c88df53a derive crumbtoo 2024-03-06 10:07:00 -07:00
  • 2be210bb9b lift1 fix crumbtoo 2024-03-05 13:08:15 -07:00
  • 40a6ca8e37 tysigd crumbtoo 2024-03-04 10:47:58 -07:00
  • 142c53a553 caseE crumbtoo 2024-03-04 10:26:04 -07:00
  • 1b1185648a ohhhh crumbtoo 2024-03-03 14:52:27 -07:00
  • 1f3dd80127 pretty crumbtoo 2024-03-03 14:09:10 -07:00
  • 70a28f4eec lintCoreProg crumbtoo 2024-03-01 11:18:19 -07:00
  • 63768605fa system F crumbtoo 2024-02-29 09:52:08 -07:00
  • 00e085135c almost done crumbtoo 2024-02-27 14:48:02 -07:00
  • d181df7b2c pretty-printing crumbtoo 2024-02-27 07:56:25 -07:00
  • a6e267fc29 terse pretty-printing crumbtoo 2024-02-27 06:14:02 -07:00
  • 4c453d334c parse crumbtoo 2024-02-27 05:12:19 -07:00
  • 57eeed17a3 it may not be perfection but it is progress crumbtoo 2024-02-26 18:18:02 -07:00
  • 6086402d4e HasBinders Binding crumbtoo 2024-02-26 17:03:20 -07:00
  • b8e1ef7b94 HasBinders Program crumbtoo 2024-02-26 16:41:54 -07:00
  • 03963832e0 fromString for Fix crumbtoo 2024-02-26 14:59:37 -07:00
  • e6a5665d4a Eq1 crumbtoo 2024-02-26 14:58:17 -07:00
  • 2daf24acac Eq1 crumbtoo 2024-02-26 14:57:22 -07:00
  • 8c0d0b6fe1 instances for Fix crumbtoo 2024-02-26 14:29:57 -07:00
  • e720876407 instances (finally) crumbtoo 2024-02-26 12:23:21 -07:00
  • ea61c11373 Bi{foldable,functor,traversable} crumbtoo 2024-02-26 10:41:41 -07:00
  • 5bf83ffbaf instance hell crumbtoo 2024-02-26 10:12:33 -07:00
  • 65b9228794 clisp->sbcl crumbtoo 2024-02-23 20:34:38 -07:00
  • 627933d4f1 stopping for a bit crumbtoo 2024-02-22 15:56:00 -07:00
  • de3c39d118 parser compiles crumbtoo 2024-02-22 15:08:55 -07:00
  • 4a120f9899 things crumbtoo 2024-02-22 14:05:29 -07:00
  • 45a6609152 things crumbtoo 2024-02-22 14:05:24 -07:00
  • f691115868 fix hardcoded builddir crumbtoo 2024-02-22 10:51:43 -07:00
  • 50fac603b9 fix default prettyPrec definition crumbtoo 2024-02-22 08:57:35 -07:00
  • 9b8630db90 good enough crumbtoo 2024-02-20 14:34:42 -07:00
  • 6d4585a46b ohhhhhhhh crumbtoo 2024-02-20 11:52:44 -07:00
  • 2858cff882 why did i do this to myself crumbtoo 2024-02-20 11:26:35 -07:00