about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2021-03-14 Universally quantified type variablesGriffin Smith13-111/+575
2021-03-14 Make string and bool parsing completeGriffin Smith2-5/+10
2021-03-14 Add string support to the frontendGriffin Smith10-11/+95
2021-03-13 Add the start of a hindley-milner typecheckerGriffin Smith17-78/+975
2021-03-13 Allow exprs+bindings to optionally be ascriptedGriffin Smith6-38/+264
2021-03-13 Factor out expr parser into its own moduleGriffin Smith4-495/+510
2021-03-08 Implement functions, both top-level and anonymousGriffin Smith8-125/+490
2021-03-07 Initial commitGriffin Smith15-0/+1466