ProvingGround icon indicating copy to clipboard operation
ProvingGround copied to clipboard

Published 20 hours ago • verified publisher icon siddhartha-gadgil

Type level definition data

Open siddhartha-gadgil opened this issue 7 years ago • 3 comments

  • The avoidVar method should cover products etc.
  • Since defnData is used in fromData, presently with a lot of casting, it should be upgraded to a TermList.
  • We can even consider the type to be a type parameter of RecFunc and InducFuncLike

siddhartha-gadgil avatar Mar 07 '18 06:03 siddhartha-gadgil

This is the work remains from #163 and #165

siddhartha-gadgil avatar Mar 07 '18 06:03 siddhartha-gadgil

The avoidVar part is fixed in 40ce778 and the issue name is changed to reflect this.

siddhartha-gadgil avatar Mar 13 '18 07:03 siddhartha-gadgil

Accidentally closed

siddhartha-gadgil avatar Jul 10 '19 06:07 siddhartha-gadgil