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

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

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