Block a user
5df87a53cf
Proper progress decisionmaking via NeededIDs and DCtx taking into account ids and hashes (not that we're storing hashes yet)
71326738fa
First basic use of suspended lookup progress using the environment, basic tests passing again for pe
91e0641045
Split Ctx into BCtx (bi-directional ctx, must be returned) and DCtx (downwards-ctx, only passed down). Env goes in DCtx, so you don't have to play a replace-back game with ctx when returning from function calls.
283c0232b0
Some steps forward, some back - add sanity testing that eval(e,x) == parial_eval(ctx, x.unval()), start fixing the bugs it reveals, split SuspendedLookup into SuspendedEnvLookup and SuspendedParamLookup
b893787a1b
move towards just MarkedForm (with no Value(Form)), with Attempted and MarkedIDs, and sketch out the MarkedForm::PrimComb versions of all the primitives with translation from PrimComb
66fc1db606
Implemented Display for Form, then first sketch of MarkedForm, NeededIds, and unval, and Display for MarkedForm
ad3c251ba9
implement non-varidic and/or and start porting match. Need to make and/or varidac and continue match work
3df7d6e0ec
Finish converting into individual tests (mostly) - might need to split out and uncomment some should-fail tests
e9b8f636cf
Start splitting out the tests into multiples, with the library code at top level in once_cell's Lazy
5838cf0bdd
Added 'assert', and changed match_params to assert that when the param tree is nil so are the passed params, which should handle exact length for functions etc.
c028e975d4
Add wrap, vfoldl, zipd, concat, bvau, and lambda! Need to add varidac handling to bvau, but getting tired