terp icon indicating copy to clipboard operation
terp copied to clipboard

Published 20 hours ago • verified publisher icon smpoulsen

Add typeclasses

Open smpoulsen opened this issue 7 years ago • 0 comments

Typeclasses provide a means for ad hoc polymorphism.

Currently blocked pending addition of term rewriting when using typeclass-defined functions implemented in terms of other typeclass-defined functions.

smpoulsen avatar Oct 10 '17 02:10 smpoulsen