+typedKanren

bmstu-iu9 · Jul 6, 2024 · 1fac9d7 · 1fac9d7
1 parent b237b30
commit 1fac9d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -37,7 +37,7 @@ _Секция 3. Преобразование программ и логичес
 |Начало| Докладчик | Название доклада | Слайды |
 |-|-----------|------------------|---------- |
 15-00| Никита Олегович Горбатов | *Суперкомпилятор простого функционального языка, анализирующий выходные форматы конфигураций* | [слайды](https://github.com/bmstu-iu9/JointRefal/blob/main/slides2024/Gorbatov_Slides.pdf) |
-15-30| Артём Игоревич Стариков | *typedKanren: типизированное реляционное программирование в Haskell* |  |
+15-30| Артём Игоревич Стариков | *typedKanren: типизированное реляционное программирование в Haskell* | [слайды](https://github.com/bmstu-iu9/JointRefal/blob/main/slides2024/Starikov_typedKanren.pdf) |
 
 _Секция 4. Реализации языка Рефал_