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 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.
miloignis pushed to master at miloignis/kraken 2023-02-12 17:19:59 +00:00
5512ab8804 Fix warnings, add destructuring let1
miloignis pushed to master at miloignis/kraken 2023-02-12 16:56:36 +00:00
30964bf4ec Better BVAU, which does full trees-of-symbols destructuring with varidic support!
miloignis pushed to master at miloignis/kraken 2023-02-11 05:34:27 +00:00
c028e975d4 Add wrap, vfoldl, zipd, concat, bvau, and lambda! Need to add varidac handling to bvau, but getting tired