summaryrefslogtreecommitdiff
path: root/Notes/Typeck.txt
AgeCommit message (Collapse)AuthorFilesLines
2019-10-12Notes - Some typecheck funtimesJohn Hodge1-0/+12
2016-12-24No more tears!ubsan1-3/+1
No more DOS line endings or trailing whitespace either
2016-06-06HIR Typecheck - Monomorphisation cleanupJohn Hodge1-0/+15
2016-06-03HIR - Working on type inference, very incompleteJohn Hodge1-0/+18