diff options
| author | Aria Shrimpton <me@aria.rip> | 2024-01-25 11:21:21 +0000 |
|---|---|---|
| committer | Aria Shrimpton <me@aria.rip> | 2024-01-25 11:30:36 +0000 |
| commit | 33e243e7fc96ad6ac9bf412a1384fd0bbcd02dc0 (patch) | |
| tree | ac654af27cf3fe31fee1b3e3ebfa061b3a0c1408 /Tasks.org | |
| parent | 56c2835148823f182f277b055fad9c079a347787 (diff) | |
update tasks & flake
Flake lock file updates:
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/261abe8a44a7e8392598d038d2e01f7b33cf26d0' (2023-09-24)
→ 'github:NixOS/nixpkgs/d7f206b723e42edb09d9d753020a84b3061a79d8' (2024-01-22)
Diffstat (limited to 'Tasks.org')
| -rw-r--r-- | Tasks.org | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -121,6 +121,8 @@ We can pick the right option, but our cost models seem really weird. ie if we have two different ~insert/100 ...~ lines we should use both instead of only one +** TODO Fix seed for benchmarks + * BLOCKED Benchmarks & Evaluation We implement several test programs which require different data structures and different implementations. @@ -144,6 +146,7 @@ Ideas: - Nixify the install of rosette - See if the ~linked_list_cursors~ feature / nightly compiler is actually necessary - Alternative to opaque type aliases for codegen + - Real checking of map types * Writing |