#idris
Вопрос:
Почему я не могу использовать amp;
в качестве оператора в Idris 2? Для чего он используется? Я попытался найти исходный код компилятора и тестов, но ничего не нашел.
Комментарии:
1. Я думаю, что в какой-то момент был план использовать его для «заимствования», не уверен, что это все еще в стадии разработки