User
Но что, если он сменит имя и вместо Ивана станет, например, Олей
И даже не обязательно учить Python, всё можно сделать на родном JavaScript
Так как язык ориентирован именно на доказательство теорем, то большой необходимости запускать функции нет
А значит опять шум и перегрев, если дискретка в ноуте
Ноут легкий и тонкий
макпро 2008 года
гемора много, а без гугл-сервисов (а с ними все это делать смысла нет
По умолчанию используется sandbox сборка. Этот каталог не будет виден билдеру
Ты прав. И реализовано на значительно более серьезном уровне.
Интерфейс сильно устарел на сегодня.
Не пугайте так. У нас не Европа все-таки
Для кого родной, а для кого и нет
А ну т.е. это еще одна система для доказательств. С Idris тогда нечего сравнивать, он как general purpose язык вне конкуренции :D
В ноутах же сегодня гибридная графика, включается только по необходимости. Дискретка только для обсчета графики, картинка идет через встроенную.
диссонанс)
Я ставил на сяоми линейку, потому что надоел китайский миуи, гемора было ноль потому что следовал инструкции
По умолчанию используется sandbox сборка. Этот каталог не будет виден билдеру
Ты прав. И реализовано на значительно более серьезном уровне.
Интерфейс сильно устарел на сегодня.