Blodwen

Aliases: Idris 2 prototype

Provenance: commit f2123df27c · authored 2026-03-17T03:47:58+01:00 · agent claude-code · model claude-sonnet-4-6

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

Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.

module Main

-- Fibonacci sequence using Blodwen (early Idris 2 prototype)
total fib : Nat -> Nat
fib Z = 0
fib (S Z) = 1
fib (S (S k)) = fib (S k) + fib k

showFib : Nat -> String
showFib n = "fib(" ++ show n ++ ") = " ++ show (fib n)

main : IO ()
main = do
    putStrLn (showFib 0)
    putStrLn (showFib 1)
    putStrLn (showFib 5)
    putStrLn (showFib 10)
    putStrLn (showFib 15)