core: make checker state an Int
core: help file formatting
core: feed modes to check commands
ddci-core: add synth command
core: formatting only
core: parse lambdas with no type annots on params
core: add test for missing type annot for lambda param
core: add existential vars to type checker
core: start on instantiater
core: push existentials onto context
core: infer add context application, get abs/var rules working
core: unbreak Recon mode in checker
core: split out witness case in inferencer
ddc-core: add freeX for simple expressions
ddc-core-flow: remove TODOs for vector operations we don't yet support
ddc-core-flow: start on rate inference
This stuff isn't used anywhere or complete yet, but I feel a bit anxious travelling with it only on this computer.
Patches for operating the testsuite on Windows
ddc-core: add app synth rules
Readme.md : Fix typo.