docs: removing wip message from readme

BRonen · Feb 14, 2024 · 6705552 · 6705552
1 parent 2d69a7b
commit 6705552
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/README.md b/README.md
@@ -1,9 +1,5 @@
 # typoggers-lang
 
-WIP
-
-## Examples
-
 Variable Assignment
 
 ```haskell
@@ -52,9 +48,11 @@ apply double
 Unions and intersections
 
 ```haskell
-type Id = (String -> String) & (Int -> Int) & (Bool -> Bool) in
-let id: Id = (x: String | Int | Bool) => x in
-id
+type Any = (String | Int | Bool) & (String | Int | Bool) in
+let i: Any = "hello world" in
+let j: Any = 1234 in
+let k: Any = True in
+0
 ```
 
 Logical operators