3 ms·Working with coinduction. So that’s not a good definition :-)by unknown_apostle 5y agoWorking with coinduction. So that’s not a good definition :-)