소스 검색

SVI Исправления

SVI 6 달 전
부모
커밋
fd1a31e7ed
1개의 변경된 파일2개의 추가작업 그리고 2개의 파일을 삭제
  1. 2 2
      docs/prolet-dialect-typing.md

+ 2 - 2
docs/prolet-dialect-typing.md

@@ -159,7 +159,7 @@
 
 Схемная валидация для сложных форматов:
 
-```lisз
+```lisp
 (если (проба-из дата к Схема.Пользователь)
     тогда (фикс х (= привести-из дата к Схема.Пользователь)
     иначе (ошибка "ожидалось число"))
@@ -193,7 +193,7 @@
   @поле2: Список.Целое)
 
 (// Использование через приведение)
-(если (тип-факт х как ФорматV1)
+(если (тип х как ФорматV1)
     тогда читать-из "data/sample.json")
 ```