about summary refs log tree commit diff
path: root/src/commands/check.rs
AgeCommit message (Expand)AuthorFilesLines
2021-03-14 Universally quantified type variablesGriffin Smith1-3/+3
2021-03-13 Add the start of a hindley-milner typecheckerGriffin Smith1-0/+39