Search results

parse error: λ x.x

Status: Open.

#64 In ljedrz/lambda_calculus;

· lengyijun opened on May 27, 2026

Question: is_isomorphic_to vs ==

Status: Open.

#63 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

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