fsharpforyou · sheridanchris · Aug 25, 2026 · Aug 25, 2026 · Aug 25, 2026 · Aug 25, 2026
diff --git a/.editorconfig b/.editorconfig
@@ -1,4 +1,2 @@
-root = true
-
-[*.{fs, fsx}]
+[*.{fs,fsx}]
 fsharp_multiline_bracket_style = stroustrup
diff --git a/README.md b/README.md
@@ -8,5 +8,5 @@ npm start
 ```
 
 ## Inspirations
-- [Fable REPL](https://github.com/fable-compiler/repl)
-- [Gleam Language Tour](https://tour.gleam.run)
+- [Gleam Language Tour](https://tour.gleam.run)
+- [Learn You a Haskell](https://learnyouahaskell.github.io)
diff --git a/public/css/pico.min.css b/public/css/pico.min.css
diff --git a/public/documentation/basics/conditional-expressions.fsx b/public/documentation/basics/conditional-expressions.fsx
diff --git a/public/documentation/basics/conditional-expressions.md b/public/documentation/basics/conditional-expressions.md
diff --git a/public/documentation/basics/expressions.fsx b/public/documentation/basics/expressions.fsx
diff --git a/public/documentation/basics/expressions.md b/public/documentation/basics/expressions.md
diff --git a/public/documentation/basics/hello-world.fsx b/public/documentation/basics/hello-world.fsx
diff --git a/public/documentation/basics/hello-world.md b/public/documentation/basics/hello-world.md
diff --git a/public/documentation/basics/operators.fsx b/public/documentation/basics/operators.fsx
diff --git a/public/documentation/basics/operators.md b/public/documentation/basics/operators.md
diff --git a/public/documentation/basics/patterns-and-match-expressions.fsx b/public/documentation/basics/patterns-and-match-expressions.fsx
diff --git a/public/documentation/basics/patterns-and-match-expressions.md b/public/documentation/basics/patterns-and-match-expressions.md
diff --git a/public/documentation/basics/primitive-types.fsx b/public/documentation/basics/primitive-types.fsx
diff --git a/public/documentation/basics/primitive-types.md b/public/documentation/basics/primitive-types.md
diff --git a/public/documentation/basics/string-formatting.fsx b/public/documentation/basics/string-formatting.fsx
diff --git a/public/documentation/basics/string-formatting.md b/public/documentation/basics/string-formatting.md
diff --git a/public/documentation/bookshop-domain/41-domain-ids.fsx b/public/documentation/bookshop-domain/41-domain-ids.fsx
@@ -0,0 +1,16 @@
+type BookId = BookId of int
+type CustomerId = CustomerId of int
+type OrderId = OrderId of int
+
+type IdError = NonPositiveId
+
+let createBookId value =
+    if value > 0 then Ok(BookId value) else Error NonPositiveId
+
+let displayBookId (BookId value) = $"B-%d{value}"
+
+match createBookId 42 with
+| Ok id -> printfn "Created %s" (displayBookId id)
+| Error NonPositiveId -> printfn "An ID must be positive"
+
+// Try passing CustomerId 42 to displayBookId and read the type error.