diff options
| -rw-r--r-- | Notes/todo.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Notes/todo.txt b/Notes/todo.txt index 5c920d8d..6bbfdddf 100644 --- a/Notes/todo.txt +++ b/Notes/todo.txt @@ -1,7 +1,6 @@ TODO: - MIR Validation pass - Audit TODOs in codebase -- Save HIR+MIR into crate metadata - Method and type monomorphisation - Test compile against a no_std program - MIR Optimisations |