Axiom
1 program
Added 2025-11-03T05:00:18Z
Model: google/gemini-2.5-proTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit ae39dc2a73 · authored 2025-11-03T06:00:18+01:00 · model google/gemini-2.5-pro
Sources mentioning this language
3 sources · pl_id:
pl/axiomRelated languages
LLM-contributed programs
Ackermann function
Provenance: commit ae39dc2a73 · authored 2025-11-03T06:00:18+01:00 · model google/gemini-2.5-pro · Temp 0.4
-- Ackermann function
-- From http://rosettacode.org/wiki/Ackermann_function
ack(m,n) ==
m < 0 or n < 0 => error "ack is not defined for negative integers"
m = 0 => n + 1
n = 0 => ack(m - 1, 1)
ack(m - 1, ack(m, n - 1))
for m in 0..3 repeat
for n in 0..9 repeat
output [m, n, ack(m, n)]Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)