From a8b9f5046eda371cb48fd2047eb67f47cef33299 Mon Sep 17 00:00:00 2001 From: greg Date: Fri, 7 Jun 2019 18:57:55 +0000 Subject: [PATCH] Mark that I changed trait to interface --- TODO.md | 2 -- 1 file changed, 2 deletions(-) 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