doc/tutorial/basics: fix some typos and broken URLs
Change-Id: I6e3a89376cd7f5a4c9a6c6157402eedce469fcca
diff --git a/doc/tutorial/basics/disjunctions.md b/doc/tutorial/basics/disjunctions.md
index e049321..b4876c1 100644
--- a/doc/tutorial/basics/disjunctions.md
+++ b/doc/tutorial/basics/disjunctions.md
@@ -7,7 +7,7 @@
Disjunctions, or sum types, define a new type that is one of several things.
In the example, `conn` defines a `protocol` field that must be one of two
-values: `"tcp"` or `"upd"`.
+values: `"tcp"` or `"udp"`.
It is an error for a concrete `conn`
to define anything else than these two values.
@@ -19,9 +19,9 @@
protocol: "tcp" | "udp"
}
-lossy: {
+lossy: conn & {
address: "1.2.3.4"
port: 8888
protocol: "udp"
}
-```
\ No newline at end of file
+```
