summaryrefslogtreecommitdiff
path: root/src/Inky/Term/Desugar.idr
AgeCommit message (Collapse)Author
2025-03-13Rewrite for flap v2.0.0.HEADmasterGreg Brown
Make `foldcase` syntactic sugar.
2025-01-07Add quotation to help metaprogramming.Greg Brown
2024-11-15Add compilation to scheme.Greg Brown
Extract parser as an independent project.
2024-11-12Fix bad annotation when desugaring map.Greg Brown
2024-11-12Add more names. Names are good.Greg Brown
2024-11-12Add ability to desugar terms.Greg Brown
Remove `getChildren` construct---it's too niche for the core language.