diff options
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 |