Oℕ
чтобы переводить его паперы на человечий
Size: a a a
2020 January 21
DM
The major new feature of TLA+2 is the introduction of constructs for writing proofs.
Oℕ
Да, в вики то же написано было, я процитировал
λ
Спасибо что замержил
Oℕ
А чо я замержил?
Oℕ
Котовий фикс?
λ
Кстати, я не шарю, но нельзя ли это автоматизировать, чтоб не было таких ошибок ?
λ
Ну такого рода, которую ты фиксил
λ
Это невнимательность прост
λ
Я понимаю, но может генерить можно
λ
Или хотяб автоматом проверять
λ
Суммон тест надо писать
AD
Kirill Shelopugin
Висит так уже 30 минут :(
А что это за магия? Хаскельная идея? Где такую взять?
KS
А что это за магия? Хаскельная идея? Где такую взять?
Плагин для идеи. Первый в поиске
λ
Kirill Shelopugin
Висит так уже 30 минут :(
Юзай вим, ну и вообще хугл большой
λ
У меня долго компилялся
DM
Да, в вики то же написано было, я процитировал
действительно, прошу прощения