summaryrefslogtreecommitdiff
path: root/src/Inky/Term/Pretty/Error.idr
AgeCommit message (Collapse)Author
2024-11-20Improve syntactic sugar.Greg Brown
Sugar makes programs nicer to write.
2024-11-18Better type errors within lets.Greg Brown
2024-11-15Add compilation to scheme.Greg Brown
Extract parser as an independent project.
2024-11-12Add ability to desugar terms.Greg Brown
Remove `getChildren` construct---it's too niche for the core language.