Hacker News new | ask | show | jobs
by unknown_apostle 1850 days ago
Working with coinduction. So that’s not a good definition :-)