Issues

• parse error: λ x.x

  ljedrz/lambda_calculus#64 · Filter by author lengyijun opened on May 27, 2026
  2

• Question: is_isomorphic_to vs ==

  ljedrz/lambda_calculus#63 · Filter by author lengyijun opened on May 7, 2026

• [feature request] Locally nameless

  ljedrz/lambda_calculus#61 · Filter by author lengyijun opened on Apr 29, 2026
  1

• is_isomorphic_to should be named is_alpha_equivalent

  ljedrz/lambda_calculus#59 · Filter by author vchakhno opened on Dec 18, 2025
  4

• Future API changes

  enhancement
  ljedrz/lambda_calculus#56 · Filter by author ljedrz opened on Jul 23, 2024