msyds/rlp
1
0 Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity
503 Commits 19 Branches 2 Tags
dev
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
crumbtoo fd288d696b post 2024-04-18 04:34:27 -06:00
crumbtoo 9bb28123c6 formatting 2024-04-15 10:07:22 -06:00
crumbtoo 3075aadf3d rotten codebase 2024-04-15 10:07:22 -06:00
crumbtoo 2944025327 extremely basic Rlp2Core 2024-04-15 10:07:21 -06:00
crumbtoo dd93b76b69 architecture diagram 2024-04-15 10:07:21 -06:00
crumbtoo acc481cd29 readme 2024-04-15 10:07:21 -06:00
crumbtoo bcf6dc1951 case expression inference 2024-04-15 10:07:21 -06:00
crumbtoo 5511d70e26 adt support in type inference 2024-04-15 10:07:21 -06:00
crumbtoo c147b6f3db update notes 2024-04-15 10:07:21 -06:00
crumbtoo 0f9afe1b2c update notes to reflect last meeting 2024-04-15 10:07:21 -06:00
crumbtoo 811f8e539d update todo list 2024-04-15 10:07:21 -06:00
crumbtoo 1c5cf2974e renamePrettily 2024-04-15 10:07:21 -06:00
crumbtoo 5198784f7d whole-program inference 
whole-program inference

whole-program inference

whole-program inference
 2024-04-15 10:07:21 -06:00
crumbtoo 7c8dae9813 bottom up 2024-04-15 10:07:21 -06:00
crumbtoo 0f9c179f20 clj style 2024-04-15 10:07:21 -06:00
crumbtoo 4a5edf8248 ADTs 2024-04-15 10:07:21 -06:00
crumbtoo 6699575951 done 2024-04-15 10:07:21 -06:00
crumbtoo b9634e5530 gulp 2024-04-15 10:07:21 -06:00
crumbtoo ba7ee8bc2c we're so back (whole program inference) 2024-04-15 10:07:21 -06:00
crumbtoo fa2b2d6ed5 it's so over (whole-program inference again) 2024-04-15 10:07:21 -06:00
crumbtoo ddd1e7b931 i'm so fucked 2024-04-15 10:07:21 -06:00
crumbtoo 2e16dca562 whole-program inference 2024-04-15 10:07:21 -06:00
crumbtoo 561d69089b org 
org
 2024-04-15 10:07:21 -06:00
crumbtoo 92305b2031 letrec 2024-04-15 10:07:21 -06:00
crumbtoo b6a4f71706 errorful bleedOut 2024-04-15 10:07:21 -06:00
crumbtoo 807088e1db letrec inference 2024-04-15 10:07:21 -06:00
crumbtoo 5b6e46e01f a tad prettier 2024-04-15 10:07:21 -06:00
crumbtoo 55ad136e31 rename prettily 2024-04-15 10:07:21 -06:00
crumbtoo f56990a59a rename prettily 2024-04-15 10:07:21 -06:00
crumbtoo ed353f02ab ppretty tyvars 2024-04-15 10:07:21 -06:00
crumbtoo d217b5b830 delete empty file 2024-04-15 10:07:21 -06:00
crumbtoo 0b4c5e5669 let-polymorphism working i think??? 2024-04-15 10:07:21 -06:00
crumbtoo 93ef870e56 newer ghc 2024-04-15 10:07:21 -06:00
crumbtoo 9678d3206a something 2024-04-15 10:07:21 -06:00
crumbtoo e75c9ac283 context 2024-04-15 10:07:21 -06:00
crumbtoo 4f55b5387d good enough eye candy 2024-04-15 10:07:21 -06:00
crumbtoo 3bc9dbb431 type-checker and working visualiser 2024-04-15 10:07:21 -06:00
crumbtoo e3d7c49370 ??? 2024-04-15 10:07:21 -06:00
crumbtoo 0e240c5256 fix lambda inference 2024-04-15 10:07:21 -06:00
crumbtoo 64482660e1 last commit was crazy it was always an ifoldr 2024-04-15 10:07:21 -06:00
crumbtoo 99ef4535ba there is a fucking ghost that keeps changing this ifoldr to an ifoldl. 2024-04-15 10:07:21 -06:00
crumbtoo e1924229bb kill me 2024-04-15 10:07:21 -06:00
crumbtoo 7727fbe668 correctly apply substs 2024-04-15 10:07:21 -06:00
crumbtoo 48ccda9549 typCheckRlpProgR forgot to solve constraints 💀 2024-04-15 10:07:21 -06:00
crumbtoo 010c719eac infer under given context 2024-04-15 10:07:21 -06:00
crumbtoo c72d93216a begin hm visualiser 2024-04-15 10:07:21 -06:00
crumbtoo 623acb3454 pretty -> prettyprinter 2024-04-15 10:07:21 -06:00
crumbtoo 175e58f13c html 2024-04-15 10:07:21 -06:00
crumbtoo 257d12e532 seems to work 2024-04-15 10:07:21 -06:00
crumbtoo 37e0c9308c preparing for rewrite #100 2024-04-15 10:07:21 -06:00
crumbtoo 8ba20a5948 fix: vlbrace error should popLayout 2024-04-15 10:07:21 -06:00
crumbtoo de41536e1d algW 
i'm honestly rather disappointed in myself for not implementing a comonadic algo J.
cross my heart i'll come back to this and return stronger!
in the mean time, i really need to get this thing into a presentable state...
 2024-04-15 10:07:21 -06:00
crumbtoo 07973ca500 aoooohhh 2024-04-15 10:07:21 -06:00
crumbtoo 52657a6a14 parse lambda 2024-04-15 10:07:21 -06:00
crumbtoo 24b4187df0 mgu 2024-04-15 10:07:21 -06:00
crumbtoo 28ed317147 refactor gather 2024-04-15 10:07:21 -06:00
crumbtoo 407a8f0a16 begin gathering 
begin gathering
 2024-04-15 10:07:21 -06:00
crumbtoo 67c88df53a derive 2024-04-15 10:07:21 -06:00
crumbtoo 2be210bb9b lift1 fix 2024-04-15 10:07:21 -06:00
crumbtoo 40a6ca8e37 tysigd 2024-04-15 10:07:20 -06:00
crumbtoo 142c53a553 caseE 2024-04-15 10:07:20 -06:00
crumbtoo 1b1185648a ohhhh 2024-04-15 10:07:20 -06:00
crumbtoo 1f3dd80127 pretty 2024-04-15 10:07:20 -06:00
crumbtoo 70a28f4eec lintCoreProg 2024-04-15 10:07:20 -06:00
crumbtoo 63768605fa system F 2024-04-15 10:07:20 -06:00
crumbtoo 00e085135c almost done 2024-04-15 10:07:20 -06:00
crumbtoo d181df7b2c pretty-printing 2024-04-15 10:07:20 -06:00
crumbtoo a6e267fc29 terse pretty-printing 2024-04-15 10:07:20 -06:00
crumbtoo 4c453d334c parse 2024-04-15 10:07:20 -06:00
crumbtoo 57eeed17a3 it may not be perfection but it is progress 2024-04-15 10:07:20 -06:00
crumbtoo 6086402d4e HasBinders Binding 2024-04-15 10:07:20 -06:00
crumbtoo b8e1ef7b94 HasBinders Program 2024-04-15 10:07:20 -06:00
crumbtoo 03963832e0 fromString for Fix 2024-04-15 10:07:20 -06:00
crumbtoo e6a5665d4a Eq1 2024-04-15 10:07:20 -06:00
crumbtoo 2daf24acac Eq1 2024-04-15 10:07:20 -06:00
crumbtoo 8c0d0b6fe1 instances for Fix 2024-04-15 10:07:20 -06:00
crumbtoo e720876407 instances (finally) 2024-04-15 10:07:20 -06:00
crumbtoo ea61c11373 Bi{foldable,functor,traversable} 2024-04-15 10:07:20 -06:00
crumbtoo 5bf83ffbaf instance hell 2024-04-15 10:07:20 -06:00
crumbtoo 65b9228794 clisp->sbcl 2024-04-15 10:07:20 -06:00
crumbtoo 627933d4f1 stopping for a bit 2024-04-15 10:07:20 -06:00
crumbtoo de3c39d118 parser compiles 2024-04-15 10:07:20 -06:00
crumbtoo 4a120f9899 things 2024-04-15 10:07:20 -06:00
crumbtoo 45a6609152 things 2024-04-15 10:07:20 -06:00
crumbtoo f691115868 fix hardcoded builddir 2024-04-15 10:07:20 -06:00
crumbtoo 50fac603b9 fix default prettyPrec definition 2024-04-15 10:07:20 -06:00
crumbtoo 9b8630db90 good enough 2024-04-15 10:07:20 -06:00
crumbtoo 6d4585a46b ohhhhhhhh 2024-04-15 10:07:20 -06:00
crumbtoo 2858cff882 why did i do this to myself 2024-04-15 10:07:20 -06:00
crumbtoo eb165c99fa i want to fucking die 2024-04-15 10:07:20 -06:00
crumbtoo 9c498bd0ea backstage 2024-04-15 10:07:20 -06:00
crumbtoo 22f19ce9a5 something 2024-04-15 10:07:20 -06:00
crumbtoo 709123d68e HasLocation 
HasLocation
 2024-04-15 10:07:20 -06:00
crumbtoo 953086d751 SrcSpan 2024-04-15 10:07:20 -06:00
crumbtoo a72b771506 no-ttg 2024-04-15 10:07:20 -06:00
crumbtoo e63824e035 no-ttg 2024-04-15 10:07:20 -06:00
crumbtoo 1a0ef46df8 bump 2024-04-15 10:02:36 -06:00
crumbtoo 1436f1124f Merge branch 'main' into dev 2024-02-16 13:12:14 -07:00
crumbtoo 2e13ec2cf4 microlens -> lens 
i still love you microlens..
 2024-02-13 13:42:43 -07:00
crumbtoo ccc71a751c remove bad, incorrct, outdated docs 2024-02-13 13:20:39 -07:00