Search results

Question: is_isomorphic_to vs ==

Status: Open.

#63 In ljedrz/lambda_calculus;

· lengyijun opened on May 7, 2026

Why no function: Term.is_normal_form() -> bool

Status: Open.

#62 In ljedrz/lambda_calculus;

· lengyijun opened on May 7, 2026

[feature request] Locally nameless

Status: Open.

#61 In ljedrz/lambda_calculus;

· lengyijun opened on Apr 29, 2026

λλ((2 2) λλ1) = λλλλ221 ?

bug

Status: Open.

#60 In ljedrz/lambda_calculus;

· lengyijun opened on Apr 23, 2026

is_isomorphic_to should be named is_alpha_equivalent

Status: Open.

#59 In ljedrz/lambda_calculus;

· vchakhno opened on Dec 18, 2025

Future API changes

enhancement

Status: Open.

#56 In ljedrz/lambda_calculus;

· ljedrz opened on Jul 23, 2024