summaryrefslogtreecommitdiff
path: root/src/Term/Compile.idr
AgeCommit message (Collapse)Author
2023-07-04Make unions a pseudo-built-in type.Chloe Brown
2023-07-04Add more built-in functions.Chloe Brown
2023-07-03Add ability to compile terms to scheme.Chloe Brown