Hacker News new | ask | show | jobs
by ulbu 37 days ago
so Tao is coinductive