Λv Example in PLT Redex | Hacker News Reader