From 1a6bc187f632a8722b9adc82eea7741302d1e174 Mon Sep 17 00:00:00 2001
From: TheArtur128 <88573504+TheArtur128@users.noreply.github.com>
Date: Sun, 22 Oct 2023 16:05:40 +0700
Subject: [PATCH] doc: correct details

---
 DOCS.md   | 2 +-
 README.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/DOCS.md b/DOCS.md
index 56f0390..eeb44ec 100644
--- 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
index 00a89cf..1b634ba 100644
--- 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)