decrel icon indicating copy to clipboard operation
decrel copied to clipboard
verified publisher icon yoohaemin

`mapK` on `module`

Open yoohaemin opened this issue 2 years ago • 0 comments

usecase

  • modifying environment types for zquery/zio-test gen
  • catching and handling errors in F context (?)
    • or something specific? (mapK on proof... does it make sense?)

yoohaemin avatar Mar 27 '23 13:03 yoohaemin