ed513bd — Nathan Ringo

App solving

da1dee3 — Nathan Ringo

Split App and CurryApp.

06b9f82 — Nathan Ringo

Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.

4964a4e — Nathan Ringo

Save contexts with holes.

c360945 — Nathan Ringo

Start of the solver.

20a65c4 — Nathan Ringo

Beginning of the new kind-checker. To the point where we need the solver.

fa2ed0b — Nathan Ringo

Fully tear out the old type-checker.

1431138 — Nathan Ringo

Rearrange Tyck_common to minimize the amount of weird stuff that happens because of its letrec.

a1fc734 — Nathan Ringo

more generic structures

ceb6840 — Nathan Ringo

Adds missing static.

b59e36d — Nathan Ringo

Adds GC experiment.

7ae693f — Nathan Ringo

A big uncommitted chunk of tyck refactor.

50489d1 — Nathan Ringo

Moves metabot to its own repo.

f4b8c24 — Nathan Ringo

Move metabot library to a subdirectory.

a63867b — Nathan Ringo

Mostly finish LJ foundations.