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
e21d898ca495 Start the Chemart Hub · chemart · on 2026-09-21
README.md 527 B 61e08691b8 raw
chemart.yaml 14.1 KB 22d1487034 raw
preview.json 405.4 KB ebcb15b28a raw