Не знаю, мне-то зачем это делать?

they have to be applied to the set of atoms they can capture шо значет?

так

что такое граунд и линеар

Понятия не имею

линеар думаю сложность

дабля

в case

тока говорили

про кейс да как раз

и что это

но я был аут оф контекст

у мя звук слетал лол

бля ну спасибо помог

охуенно

А почему вы посреди рабочего дня какие то стримы обсуждаете

Есть данные по perf?

Тоже хочу чтоб мне платили пока я в понв сру

In a matching problem s ≈α t, t is ground (i.e., it has no variables), or, more generally, it has variables that cannot be instantiated. When the term t is ground we say that the matching problem is ground. The left-hand side of a matching problem s ≈α t is called a pattern, and may have variables occurring multiple times. When each variable occurs at most once in patterns we say that the matching problem is linear.