EC

Effect Community•8mo ago

jvliwanag

Tools for Type Checking or Generating `dual(2, fn)` Declarations

are there tools to generate or at least type check a

dual(2, fn)

dual(2, fn)

declaration? I worry that writing the types manually can lead to errors.

even better (though not sure how doable), would be an effect lsp action to generate it.