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 |
|