summaryrefslogtreecommitdiff
path: root/src/Term/Compile.idr
AgeCommit message (Expand)Author
2024-01-22Fix some bug?Chloe Brown
2023-07-24Compile to local constant function.Chloe Brown
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