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