Functions - #7

Draft

nahcnuj wants to merge 13 commits into

mainfrom

Commits on Jan 1, 2025

local.get
nahcnuj
committed
ef94b71
lam,app
nahcnuj
committed
b2e47cd
fold Unit results
nahcnuj
committed
f8db994
refactoring
nahcnuj
committed
e22c88f

Commits on Jan 2, 2025

HasType.det
nahcnuj
committed
c6182df
typeCheck_correct
nahcnuj
committed
2c413ca

Commits on Jan 3, 2025

try to prove Expr.typeCheck_complete but now incomplete yet...
nahcnuj
committed
9d8834d
add todos
nahcnuj
committed
58ea612
enable URL insertion and closing TODOs
nahcnuj
committed
0c8fdff
fix
nahcnuj
committed
73ef413
wip
nahcnuj
committed
445809d
fix EOF
nahcnuj
committed
7b6689b
fix lam,app
nahcnuj
committed
4fcfb76