diff options
author | Melody Horn <melody@boringcactus.com> | 2020-10-25 14:14:40 -0600 |
---|---|---|
committer | Melody Horn <melody@boringcactus.com> | 2020-10-25 14:14:40 -0600 |
commit | ee99902feaf62a60d006a5187815bdf4aa45e8b7 (patch) | |
tree | afbbda16b14ee7401f6c57d5580d9d5473c97b14 /tagged-unions.md | |
parent | 438deebf05347dc79797b1c476da0e65c0a5346f (diff) | |
download | spec-ee99902feaf62a60d006a5187815bdf4aa45e8b7.tar.gz spec-ee99902feaf62a60d006a5187815bdf4aa45e8b7.zip |
build both HTML and PDF distributions
Diffstat (limited to 'tagged-unions.md')
-rw-r--r-- | tagged-unions.md | 4 |
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 |