chemart / combinator-chemistry

View on GitHub

Combinator chemistry — AlChemy without variable binding. Molecules are combinator expressions over B, C, I, K, R, S, W; a collision applies one to the other and reduces to normal form, releasing whatever falls off along the way. Dropping lambd…

chemistry official · built in rewriting fidelity: reconstructed constructive #banzhaf-yamamoto
  • Start the Chemart Hub chemart · on 2026-09-21 e21d898ca495 current