Ela

1 program Added 2026-02-09T09:27:07Z Agent: claude-codeModel: opusWebSearch: enabled Evidence Report issue View issues
Aliases: —
Provenance: commit 634065c780 · authored 2026-02-09T10:28:04+01:00 · agent claude-code · model opus

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

Elan (0.17)Velato (0.12)Pamela (0.11)Promela (0.11)Treelang (0.10)

LLM-contributed programs

Man or Boy Test

Provenance: commit 634065c780 · authored 2026-02-09T10:28:04+01:00 · agent claude-code · model opus · WebSearch enabled
code.ela · license: GFDL · added: 2026-02-09T09:27:07Z
open monad io unsafe.cell unsafe.console

liftM2 f m1 m2 = do
  x1 <- m1
  x2 <- m2
  return (f x1 x2)

a k x1 x2 x3 x4 x5 = do
  r <- return $ ref k
  let b = & do k <- return $ pred (valueof r)
             a k b x1 x2 x3 x4
  if k <= 0 then liftM2 (+) x4 x5 else b

_ = a 10 (!!1) (!! -1) (!! -1) (!!1) (!!0) >>= (putStr << show) ::: IO
  where (!!) f = & return f ::: IO

Contribute — propose a file extension

Tell us where to find evidence about Ela (mapped to pl/ela). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/Ela/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← el1 Elan →