doc: correct details

emptybutton · Oct 22, 2023 · 1a6bc18 · 1a6bc18
1 parent ec42b68
commit 1a6bc18
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/DOCS.md b/DOCS.md
@@ -40,7 +40,7 @@ main(1)()(2, 3)(4)
 ```
 
 ...or attribute getting
-```python
+```py
 class WithA:
     def __init__(self, a):
         self.a = a

diff --git a/README.md b/README.md
@@ -46,7 +46,7 @@ def main(do: Do, a: WithNumber[Optional[int]], b: WithNumber[Optional[int]]) ->
 # As a result, `main` has this type.
 main: Callable[
     [Optional[WithNumber[Optional[int]]], Optional[WithNumber[Optional[int]]]],
-    Result | bad[str],
+    Result[int] | bad[str],
 ]
 
 assert main(WithNumber(16), WithNumber(2)) == obj(multiplication=32, division=8)