From f795612884e820aecccdee9a051514d2bd43f37d Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Mon, 23 Apr 2018 19:35:25 -0700
Subject: [PATCH] Want to change 'trait' to 'interface'

---
 TODO.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/TODO.md b/TODO.md
index a0f51c0..940810f 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,6 +1,9 @@
 
 # TODO Items
 
+* change 'trait' to 'interface'
+  -think about idris-related ideas of multiple implementations of a type for an interface (+ vs * impl for monoids)
+
 * Share state between programming languages
 
 * idea for Schala - scoped types - be able to define a quick enum type scoped to a function ro something, that only is meant to be used as a quick bespoke interface between two other things