Remove obsolete TODO file

VariantSync · Apr 3, 2024 · 7546ef2 · 7546ef2
1 parent 9d20a6d
commit 7546ef2
Showing 1 changed file with 0 additions and 161 deletions.
diff --git a/src/Framework/TODO.lagda.md b/src/Framework/TODO.lagda.md