summaryrefslogtreecommitdiff
path: root/src/Term/Pretty.idr
AgeCommit message (Collapse)Author
2023-06-22Add encodings for containers.Chloe Brown
Remove useless junk.
2023-06-21Add sums, vectors and arithmetic encodings.Chloe Brown
Also define pretty printing of terms.