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
|
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
|
4a5edf8248
|
ADTs
|
2024-04-15 10:07:21 -06:00 |
|
crumbtoo
|
6699575951
|
done
|
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
|
561d69089b
|
org
org
|
2024-04-15 10:07:21 -06:00 |
|