Hacker News new | ask | show | jobs
by elliotlai 3965 days ago
Agda. It halts.