Hacker News new | ask | show | jobs
by koolala 208 days ago
Weak vs. "strong" lambda calculus maybe? Typed vs untyped?