Miranda
1 program
Added 2025-11-02T17:07:13Z
Model: google/gemini-2.5-proTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 26911b0ee8 · authored 2025-11-02T18:07:13+01:00 · model google/gemini-2.5-pro
Sources mentioning this language
5 sources · pl_id:
pl/mirandaWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | lazy · functional · declarative |
|---|---|
| Typing | strong, static |
| Designed by | Research Software Ltd · David Turner |
| First appeared | 1985 |
| Influenced by | KRC · ML · SASL · Hope |
| License | 2-clause BSD License |
| Homepage | http://miranda.org.uk |
Related languages
LLM-contributed programs
Sieve of Eratosthenes in Miranda
Provenance: commit 26911b0ee8 · authored 2025-11-02T18:07:13+01:00 · model google/gemini-2.5-pro · Temp 0.4
|| Sundaram Sieve
sundaram n = [2*i+1 | i<-[1..n]]; (map (2*) (sundaram n)) ++ [2]
|| Eratosthenes Sieve
sieve [] = []
sieve (p:xs) = p : sieve [x | x <- xs; x mod p ~= 0]
primes n = sieve [2..n]
|| Main
shownumsl n = lay [[num n | n<-[s..e]] | (s,e) <- takewhile (\(s,e). s<=n) (map (\i.(i,i+9)) [1,11..])]
main = lay ["Sundaram Sieve:", shownumsl 100 (sundaram 100),
"Eratosthenes Sieve:", shownumsl 100 (primes 100)]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.)