Hacker News new | ask | show | jobs
by uryga 2838 days ago
Yeah, Void makes for great for inductive definitions ;)