From bb23b1a4098be8ecb751c23a854d4590ae1480e3 Mon Sep 17 00:00:00 2001 From: Fedor Vihnin Date: Wed, 13 Nov 2024 16:40:18 +0300 Subject: [PATCH] Update README.md in model --- internal/tlmodel/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/internal/tlmodel/README.md b/internal/tlmodel/README.md index 588deaa..648dfe5 100644 --- a/internal/tlmodel/README.md +++ b/internal/tlmodel/README.md @@ -4,7 +4,7 @@ * В данной модели нет _Boxed_ на момент написания этого файла (13.11.24) * Для описания типа создайте объект типа `TLType` (разница между union-type и обычными типа лишь в количестве конструкторов) -Пример для `pair {X: Type} {Y: Type} left:X property:Y = Pair;`: +Пример для `pair {X: Type} {Y: Type} left:X right:Y = Pair;`: ```haskell \func TLPair : TLType => \new TLType { | typeHeader => tl-new-type 1 (^Type :: (^Type :: nil)) @@ -35,4 +35,4 @@ } ``` -Другие примеры лежат в `src/Types.ard`. Также там есть пример не выводимой в тле конструкции (которая не компилиться в Arend) \ No newline at end of file +Другие примеры лежат в `src/Types.ard`. Также там есть пример не выводимой в тле конструкции (которая не компилиться в Arend)