aboutsummaryrefslogtreecommitdiff
path: root/tagged-unions.md
diff options
context:
space:
mode:
authorMelody Horn <melody@boringcactus.com>2020-10-25 14:14:40 -0600
committerMelody Horn <melody@boringcactus.com>2020-10-25 14:14:40 -0600
commitee99902feaf62a60d006a5187815bdf4aa45e8b7 (patch)
treeafbbda16b14ee7401f6c57d5580d9d5473c97b14 /tagged-unions.md
parent438deebf05347dc79797b1c476da0e65c0a5346f (diff)
downloadspec-ee99902feaf62a60d006a5187815bdf4aa45e8b7.tar.gz
spec-ee99902feaf62a60d006a5187815bdf4aa45e8b7.zip
build both HTML and PDF distributions
Diffstat (limited to 'tagged-unions.md')
-rw-r--r--tagged-unions.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/tagged-unions.md b/tagged-unions.md
index 1333ed7..0083fff 100644
--- a/tagged-unions.md
+++ b/tagged-unions.md
@@ -1 +1,5 @@
+---
+title: Tagged Unions
+---
+
TODO