Mark that I changed trait to interface
This commit is contained in:
parent
83e05fe382
commit
a8b9f5046e
2
TODO.md
2
TODO.md
@ -7,8 +7,6 @@
|
|||||||
- cf. the notation mentioned in the cardelli paper, the debug information for the `typechecking` pass should
|
- 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
|
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)
|
- 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
|
-should have an Idris-like `cast To From` function
|
||||||
|
Loading…
Reference in New Issue
Block a user