AZ
@Psilon ты устанавливал идрис на винду?
да
Size: a a a
2020 March 25
p
через повершелл скрипт, или каким образом?
С
я не разобрался как зависимые таблички подключать
Какие зависимые?
AZ
через повершелл скрипт, или каким образом?
павершел скрипт не работает. Там установщик есть
С
Что это значит?
AZ
Какие зависимые?
с foreign key
С
с foreign key
Ты навигационные свойства хочешь использовать?
AZ
Ты навигационные свойства хочешь использовать?
да
p
павершел скрипт не работает. Там установщик есть
https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Windows не вижу тут установщика
p
а, там раздел "windows binaries" отдельно от "windows"
AZ
а, там раздел "windows binaries" отдельно от "windows"
учти что ничего мощнее блокнота с подсветкой на винде для идриса нет
AZ
и компиляция из терминала
p
учти что ничего мощнее блокнота с подсветкой на винде для идриса нет
лол. нет даже для visual studio code?
p
или atom на крайняк
AZ
лол. нет даже для visual studio code?
есть, но кроме подветки ничо не работает
AZ
по идее это виндопроблемы чисто
AZ
на линухах у @hirrolot все работает
G
на линухах у @hirrolot все работает
Да
p
есть, но кроме подветки ничо не работает
жаль, я линукс не могу поставить