miloignis
0 Followers · 0 Following
  • Joined on 2023-01-28
Repositories
3
 Projects Packages Public Activity Starred Repositories
miloignis pushed to master at miloignis/kraken 2023-02-19 17:37:16 +00:00
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.
miloignis pushed to master at miloignis/kraken 2023-02-19 06:19:02 +00:00
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
miloignis pushed to master at miloignis/kraken 2023-02-19 05:46:58 +00:00
fdaca7f807 Implement basic derived calls, and fix eval not unvaling bug
miloignis pushed to master at miloignis/kraken 2023-02-19 03:46:26 +00:00
c5f7a52a38 Implment basic function calling pe
miloignis pushed to master at miloignis/kraken 2023-02-19 00:33:03 +00:00
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
miloignis pushed to main at miloignis/nix_config 2023-02-18 21:16:48 +00:00
763c37351d Combine with main flake, though keeping nixpkgs inputs seperate for now
miloignis pushed to main at miloignis/nix_config 2023-02-18 21:09:03 +00:00
f8ded36c6a Add condoserver pub key to vps
miloignis pushed to main at miloignis/nix_config 2023-02-18 21:06:11 +00:00
bc38d974c9 VPS controlled by flakes now
miloignis pushed to main at miloignis/nix_config 2023-02-18 18:09:47 +00:00
9b3415c18e Don't suspend condoserver on lid close
miloignis pushed to main at miloignis/nix_config 2023-02-18 18:05:32 +00:00
ca61b61773 remote activation of condoserver flake
miloignis pushed to main at miloignis/nix_config 2023-02-18 17:52:44 +00:00
826bbe8c03 Add basic condoserver
miloignis pushed to master at miloignis/kraken 2023-02-16 23:21:17 +00:00
8b59d5a16a reorginze, start sketching partial eval
miloignis pushed to master at miloignis/kraken 2023-02-14 18:18:22 +00:00
520e473415 Add RBTREE and test, along with <, >, <=, >=
miloignis pushed to master at miloignis/kraken 2023-02-14 17:47:51 +00:00
f568ee3d50 Add len, finish match
miloignis pushed to master at miloignis/kraken 2023-02-14 05:50:09 +00:00
66fc1db606 Implemented Display for Form, then first sketch of MarkedForm, NeededIds, and unval, and Display for MarkedForm
miloignis pushed to main at miloignis/nix_config 2023-02-14 03:45:36 +00:00
70b0826800 updates
miloignis pushed to master at miloignis/kraken 2023-02-13 06:08:37 +00:00
ad3c251ba9 implement non-varidic and/or and start porting match. Need to make and/or varidac and continue match work
miloignis pushed to master at miloignis/kraken 2023-02-13 05:42:57 +00:00
3df7d6e0ec Finish converting into individual tests (mostly) - might need to split out and uncomment some should-fail tests
miloignis pushed to master at miloignis/kraken 2023-02-12 21:17:03 +00:00
e9b8f636cf Start splitting out the tests into multiples, with the library code at top level in once_cell's Lazy
miloignis pushed to master at miloignis/kraken 2023-02-12 18:32:48 +00:00
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.