Hacker News new | ask | show | jobs
by junke 3667 days ago
Option[Option[String]]? Is this a Church Numeral?