Heptagon
1 program
Added 2026-02-23T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: enabled
Evidence
Report issue
View issues
Aliases: Heptagon/BZR
Provenance: commit e2b60dfc36 · authored 2026-02-23T21:09:05+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Ripple Adder
Provenance: commit e2b60dfc36 · authored 2026-02-23T21:09:05+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch enabled
node mxor(x, y: bool) returns (c: bool)
let
c = (x and not y) or ((not x) and y);
tel
node fa(x, y, cin: bool) returns (z, cout: bool)
let
z = mxor(mxor(cin, x), y);
cout = if cin then (x or y) else (x and y);
tel
node rippleadd<<n:int>>(a: bool^n; b: bool^n) returns (c: bool^n; over: bool)
let
(c,over) = mapfold<<n>>fa(a, b, false);
tel