Commits

Commits on Jul 2, 2026

chore: formatting
ericlovesmath
committed
0590bd4
feat(modules): We got modules and existential types kind of!
ericlovesmath
committed
25fc987

Commits on Jun 30, 2026

wip(modules): Signatures and Transparent Ascriptions, no existential types
ericlovesmath
committed
0dc3928

Commits on Jun 28, 2026

wip(modules): qualified type members for modules
ericlovesmath
committed
c7a3e92

Commits on Jun 27, 2026

wip(modules): add frontend for modules, qualfied and open checked in uniquify pass like in OCaml compiler, only let-bindings allowed for now
ericlovesmath
committed
c9769bc

Commits on Jun 23, 2026

feat(tail call): generate for loop instead of while loop
ericlovesmath
committed
873d94c
chore: opam artifact
ericlovesmath
committed
dc58fe6

Commits on Jun 22, 2026

Commits on Jun 21, 2026

chore: fix README
ericlovesmath
committed
b176894
chore: fix README links
ericlovesmath
committed
cd86a64
feat(case of case): janky case of case optimization
ericlovesmath
committed
4e3e0c9

Commits on Jun 18, 2026

Commits on Jun 17, 2026

Commits on Jun 15, 2026

chore: update playground
ericlovesmath
committed
8edd66a
feat(examples): reaction-diffusion
ericlovesmath
committed
0cf1577

Commits on Jun 14, 2026