Extension modules work - #176

Merged

KotlinIsland merged 7 commits into

mainfrom

extension-modules-work

Aug 17, 2026

Commits on Aug 17, 2026

the type checker terminates on every cycle it used to give up on
KotlinIsland
committed
c60950a
a command works on the files it was given, and a negated exclude means what it says
KotlinIsland
committed
af68fc0
an emitted type answers as the interpreted definition it stands for
KotlinIsland
committed
9865af0
a subscript is a type application when the thing subscripted is a type
KotlinIsland
committed
c0eee26
the sweeps exercise what they walk, and say what they measured
KotlinIsland
committed
3d6e813
a benchmark suite, an interpreter matrix in ci, and the docs for both
KotlinIsland
committed
dfd914d
a parameter its own body rebinds stands for no one value, so it keeps no bound
KotlinIsland
committed
7d10c11