diff options
Diffstat (limited to 'Notes/Typeck.txt')
| -rw-r--r-- | Notes/Typeck.txt | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Notes/Typeck.txt b/Notes/Typeck.txt index 0cd7f27e..06b392c0 100644 --- a/Notes/Typeck.txt +++ b/Notes/Typeck.txt @@ -1,5 +1,4 @@ -Type inferrence - +Type inference # Type equality procedure @@ -27,7 +26,6 @@ Needs to be able to point to functions in: Maybe can use separate types for each usecase? -- <!-- vim: ft=markdown --> |