Zakaz wychodzenia z domu szkodzi na mózg
Wczoraj odkryłem Arenda, a dzisiaj już czepiam się drobnostek
https://github.com/JetBrains/arend-lib/issues/16
#arend
github.comRing definition approaches · Issue #16 · JetBrains/arend-libHi! I've read in the Arend tutorial that you solve the "diamond problem" for implementing ring structure by copying structure definitions: Tutorial: https://arend-lang.github.io/docum...