summaryrefslogtreecommitdiff
path: root/src/Inky/Term/Pretty.idr
AgeCommit message (Expand)Author
2024-11-12Add ability to desugar terms.Greg Brown
2024-10-29Write a fuelled reducer for System T.Greg Brown
2024-10-29Print type checking errors.Greg Brown
2024-10-28Improve pretty printer.Greg Brown
2024-10-28Make everything relevant.Greg Brown
2024-10-09Do a lot.Greg Brown
2024-09-30Make tags for tuples and cases unique.Greg Brown
2024-09-17Introduce names in contexts.Greg Brown
2024-09-13Define pretty printers for terms and types.Greg Brown