Stream: wg-traits

Topic: is_coinductive


scalexm (Nov 09 2018 at 12:41, on Zulip):

cc @Sunjay Varma, any progress on is_coinductive? Do you need any help?

Sunjay Varma (Nov 12 2018 at 19:07, on Zulip):

Hi @scalexm. Sorry, missed this message. I am working on it. I will let you know if I need anything. Thanks for checking in :blush:

Last update: Nov 12 2019 at 15:45UTC