coxswain icon indicating copy to clipboard operation
coxswain copied to clipboard

Published 20 hours ago • verified publisher icon nfrisby

Is `activateGivens` necessary/correct?

Open nfrisby opened this issue 7 years ago • 0 comments

As with some other parts of the code -- which I was using to learn about the type checker --- this function seemed necessary/correct at one point, but subsequent refinements make me wonder if it's still necessary/correct.

  1. Can we just drop it?
  2. If not, should we be zonking them before activating them? Because what if they contain flattening skolems?

nfrisby avatar Sep 16 '17 22:09 nfrisby