Closed pomadchin closed 3 weeks ago
This PR removes FunctionKLift and replaces it via FunctionK.liftFunction
This PR removes FunctionKLift and replaces it via FunctionK.liftFunction