From 037413ad15c9abc6159f41b64c2dab9660390278 Mon Sep 17 00:00:00 2001 From: Adam Wick Date: Mon, 11 Feb 2019 16:36:11 -0500 Subject: [PATCH] Start tracking the TODO list. --- TODO | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 TODO diff --git a/TODO b/TODO new file mode 100644 index 0000000..26757a2 --- /dev/null +++ b/TODO @@ -0,0 +1,5 @@ +- Maybe don't use so many Rust macros; traits seem to be a bad idea; maybe just directly generate from Haskell? +- Verification of some of the basic operations with SAW +- Remove Decoder/Encoder, and just make normal From trait instances +- Need some good profiling benchmarks for everything +- Karatsuba multiplication \ No newline at end of file