summaryrefslogtreecommitdiff
path: root/src/Inky/Term/Substitution.idr
AgeCommit message (Expand)Author
2024-11-15Add compilation to scheme.Greg Brown
2024-11-12Add more names. Names are good.Greg Brown
2024-11-12Add ability to desugar terms.Greg Brown