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

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

#lang ivy1.6
type t
function f(X:t) = Y:t
Ссылка в новой задаче Показать git blame Копировать постоянную ссылку