Update the PDF

informalsystems · Aug 21, 2023 · fbf4ab4 · fbf4ab4
1 parent 4967191
commit fbf4ab4
Show file tree

Hide file tree

Showing 2 changed files with 106 additions and 72 deletions.
diff --git a/doc/rfcs/rfc001-sum-types/rfc001-sum-types.pdf b/doc/rfcs/rfc001-sum-types/rfc001-sum-types.pdf