История изменений
Исправление AndreyKl, (текущая версия) :
так lh зато без дополнительных намёков выводит доказательство для after.
Идрис тоже кстати как я помню много автоматически выводит, довольно удобно. Но сможет ли вот так прям без подсказок для after я не уверен (не помню, а компилятора под рукой нет).
Исходная версия AndreyKl, :
так lh зато без дополнительных намёков выводит доказательство для after.
Идрис тоже кстати как я помню много автоматически выводит, довольно удобно. Но сможет ли вот так прям без подсказок для after я не уверен (не помню).