microsoft
/
ivy
зеркало из https://github.com/microsoft/ivy.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
ivy/test/circdef1.ivy

9 строки
91 B
XML
Исходник Постоянная ссылка Ответственный История

#lang ivy1.6
type t
individual x : t
individual y : t
definition x = y
definition y = x
Ссылка в новой задаче Показать git blame Копировать постоянную ссылку