Want to change 'trait' to 'interface'

2018-04-23 19:35:25 -07:00 · 2018-04-23 19:35:25 -07:00 · f795612884
commit f795612884
parent c9ea48e9d1
1 changed files with 3 additions and 0 deletions
--- 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