diff --git a/TODO.md b/TODO.md
index e61fb34..50b63ce 100644
--- a/TODO.md
+++ b/TODO.md
@@ -7,8 +7,6 @@
 - cf. the notation mentioned in the cardelli paper, the debug information for the `typechecking` pass should 
 print the generated type variable for every subexpression in an expression
 
-- change 'trait' to 'interface'
-
 - think about idris-related ideas of multiple implementations of a type for an interface (+ vs * impl for monoids, for preorder/inorder/postorder for Foldable)
 
 -should have an Idris-like `cast To From` function