summaryrefslogtreecommitdiff
path: root/main.tex
AgeCommit message (Expand)Author
2025-04-29Add multiline tuple variant.Chloe Brown
2025-04-25Give examples for phase 1.Chloe Brown
2025-04-25Describe encoding of inductive types.Chloe Brown
2025-04-24Describe distrib.Chloe Brown
2025-04-23Remove tuple from match cases.Chloe Brown
2025-04-23Improve multiline let formatting.Chloe Brown
2025-04-23Current state of affairs.Chloe Brown
2025-03-25Before the big rewriteChloe Brown