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