crumbtoo
fbd5ddbe9b
renamePrettily
2024-04-04 13:23:55 -06:00
crumbtoo
72de57d47f
whole-program inference
...
whole-program inference
whole-program inference
whole-program inference
2024-04-04 13:21:36 -06:00
crumbtoo
ef30c6ee17
bottom up
2024-04-03 16:03:17 -06:00
crumbtoo
7a065ff12b
clj style
2024-04-02 14:45:41 -06:00
crumbtoo
9977002f82
ADTs
2024-03-28 11:55:36 -06:00
crumbtoo
211009dfa9
done
2024-03-28 11:35:59 -06:00
crumbtoo
a492aadae3
gulp
2024-03-28 11:32:34 -06:00
crumbtoo
79348e0468
we're so back (whole program inference)
2024-03-28 11:10:22 -06:00
crumbtoo
ff006abac0
it's so over (whole-program inference again)
2024-03-28 10:59:51 -06:00
crumbtoo
d360edc476
i'm so fucked
2024-03-28 10:44:58 -06:00
crumbtoo
7e8be474c6
whole-program inference
2024-03-28 06:53:46 -06:00
crumbtoo
3ed6fc233f
org
...
org
2024-03-27 21:15:24 -06:00
crumbtoo
ef68cc4d9f
letrec
2024-03-27 13:57:10 -06:00
crumbtoo
bd6af6b98c
errorful bleedOut
2024-03-27 11:26:45 -06:00
crumbtoo
7795547de8
letrec inference
2024-03-27 11:26:36 -06:00
crumbtoo
e578adeb1f
a tad prettier
2024-03-26 12:56:52 -06:00
crumbtoo
fc54736354
rename prettily
2024-03-26 12:43:43 -06:00
crumbtoo
0650e1d32d
rename prettily
2024-03-26 12:41:33 -06:00
crumbtoo
f6c53879ff
ppretty tyvars
2024-03-26 12:12:31 -06:00
crumbtoo
d5261dc567
delete empty file
2024-03-26 10:07:21 -06:00
crumbtoo
739f304904
let-polymorphism working i think???
2024-03-26 09:23:38 -06:00
crumbtoo
344c631dd0
newer ghc
2024-03-24 08:05:39 -06:00
crumbtoo
eca712d0d7
something
2024-03-20 18:58:44 -06:00
crumbtoo
dd600a8351
context
2024-03-20 15:46:23 -06:00
crumbtoo
61aea7b74a
good enough eye candy
2024-03-18 14:52:19 -06:00
crumbtoo
c3017ca445
type-checker and working visualiser
2024-03-18 10:27:06 -06:00
crumbtoo
6aae979a58
???
2024-03-17 09:25:29 -06:00
crumbtoo
de058abc40
fix lambda inference
2024-03-17 06:25:29 -06:00
crumbtoo
15f6613bd2
last commit was crazy it was always an ifoldr
2024-03-17 06:01:15 -06:00
crumbtoo
a8912dea5e
there is a fucking ghost that keeps changing this ifoldr to an ifoldl.
2024-03-17 05:59:23 -06:00
crumbtoo
47c2d34551
kill me
2024-03-15 20:02:20 -06:00
crumbtoo
e6d3a45e11
correctly apply substs
2024-03-15 18:47:52 -06:00
crumbtoo
0ca18b1179
typCheckRlpProgR forgot to solve constraints 💀
2024-03-15 18:22:17 -06:00
crumbtoo
fcd784441a
infer under given context
2024-03-15 13:43:23 -06:00
crumbtoo
932fed8e5c
begin hm visualiser
2024-03-14 16:26:51 -06:00
crumbtoo
c85ba57247
pretty -> prettyprinter
2024-03-14 06:04:22 -06:00
crumbtoo
c5a293acf8
html
2024-03-14 01:15:55 -06:00
crumbtoo
8fd75a67d3
seems to work
2024-03-13 18:10:29 -06:00
crumbtoo
e00e0eff3b
preparing for rewrite #100
2024-03-13 16:06:20 -06:00
crumbtoo
8d8651d549
fix: vlbrace error should popLayout
2024-03-11 11:05:50 -06:00
crumbtoo
cf81b76c1a
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-03-11 10:36:38 -06:00
crumbtoo
35c770c63c
aoooohhh
2024-03-11 09:26:53 -06:00
crumbtoo
e93548963a
parse lambda
2024-03-08 16:28:40 -07:00
crumbtoo
215feb433b
mgu
2024-03-07 10:20:42 -07:00
crumbtoo
f6035b8a6a
refactor gather
2024-03-06 17:46:35 -07:00
crumbtoo
fe44fbfc77
begin gathering
...
begin gathering
2024-03-06 11:37:37 -07:00
crumbtoo
18e87c540b
derive
2024-03-06 10:07:00 -07:00
crumbtoo
2d15dbb7ee
lift1 fix
2024-03-05 13:08:15 -07:00
crumbtoo
156ef8d0a7
tysigd
2024-03-04 10:47:58 -07:00
crumbtoo
c85c47839a
caseE
2024-03-04 10:26:04 -07:00
