Hacker GitHub

← All repos

sweirich/lambda-n-ways

View on GitHub ↗ ★ 127 HTML

Benchmarks for capture-avoiding substitution

3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2022-02-06 · latest 2025-07-07

Mentions per year 3 mentions · busiest year 2022 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 4
    Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
    story by fanf2 · 2025-07-07 · 0 comments
  2. ▲ 1
    Lambda-Calculus cooked n-ways
    story by weatherlight · 2022-11-15 · 0 comments