diff --git a/doc/examples/halfadd.fut b/doc/examples/halfadd.fut
new file mode 100644
index 0000000..37ef9f1
--- /dev/null
+++ b/doc/examples/halfadd.fut
@@ -0,0 +1,10 @@
+module halfadd (
+	input wire a,
+	input wire b,
+	output wire sum,
+	output wire carry
+)
+{
+	assign sum = xor(a, b);
+	assign carry = and(a, b);
+}
diff --git a/doc/examples/identity.fut b/doc/examples/identity.fut
new file mode 100644
index 0000000..9a19ea7
--- /dev/null
+++ b/doc/examples/identity.fut
@@ -0,0 +1,7 @@
+module identity (
+	input wire a,
+	output wire x
+	)
+{
+	assign x = a;
+}