BoydStephenSmithJr, 1 month ago Bah, #purescript doesn't call it "strict positivity", but it doesn't let me violate that and derive Functor. Sometimes I think the "efficient DeBruijn" of #bound 's Scope gets paid for in programmer time. :blobfoxlaughsweat:
Bah, #purescript doesn't call it "strict positivity", but it doesn't let me violate that and derive Functor. Sometimes I think the "efficient DeBruijn" of #bound 's Scope gets paid for in programmer time. :blobfoxlaughsweat:
Add comment