Jake Woods
06/30/2022, 4:01 AM_η_−1
means as part of the definition of ϕ
in the kotlin spec least upper bound algorithm? Everything else seems to be defined somewhere in the document but I can’t figure out what the substitution would be for ``_η_−1({out LUB(x_out, y_out), in GLB(x_in, y_in)}`. 🙏ephemient
06/30/2022, 4:07 AMJake Woods
06/30/2022, 4:12 AMJake Woods
06/30/2022, 4:12 AM