anankaie
Joined 4 years ago
Karma
168
Submissions
110
Member since
Aug 12
Joined 4 years ago
Though not having to do the leap smear might be easier?
Moreover, I suspect it is possible to construct an interface such that to prove statically that you can Liskov Substitute a type into it would be equivalent to deciding Halt: All you need are extensional semantics in your type system.
Patent was applied for 04.03.2026. langgraph-codeact _shipped_ this capability in February.