Improved with commit #e207d086113097991985b7e6985f716d8e97b7bd.
It is necessary to modify the structure of Γ-context and split into 2 parts: fixed-resolution and non-fixed-resolution. In theory, it should be possible to provide constant-time resolution on Γ-contexts.
Improved with commit #e207d086113097991985b7e6985f716d8e97b7bd. It is necessary to modify the structure of Γ-context and split into 2 parts: fixed-resolution and non-fixed-resolution. In theory, it should be possible to provide constant-time resolution on Γ-contexts.