A
Size: a a a
2021 June 24
MP
уфф
MP
интересно, что началось это с переходом на lts-18.0 и до этого не вылезало никогда за целый год наверное
MP
а, ну это оказалось совсем несложно
IP
Как по-русски equational reasoning?
[
Доказательство эквивалентности ~
[
:(
[
The kind of reasoning we will performing about our programs is called equational reasoning. In other words, we will be proving that one expression is equal to another. For example, we might want to prove that for any list l,
l == reverse (reverse l)
In other words, for any list l, the reverse of the reverse of a list l is equal to l.
l == reverse (reverse l)
In other words, for any list l, the reverse of the reverse of a list l is equal to l.
IP
Не то.
IP
Мне кажется, что это должно быть что-то про рассуждения.
[
Анализ равенства(уравнения)?
[
Гугл предлагает "рассуждения над уравнением", но это звучит дерьмово
IP
Как вариант.
[
Вывод равенства😄
[
Не знаю