Dhall
1 program
Added 2025-10-23T08:23:32Z
Model: google/gemini-2.5-proTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit e47dd22b9b · authored 2025-10-23T10:23:32+02:00 · model google/gemini-2.5-pro
Sources mentioning this language
4 sources · pl_id:
pl/dhallExtensions claimed by this language
1 claim. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.dhall | linguist | primary | 130.5K files |
Related languages
LLM-contributed programs
Dhall configuration with user generation
Provenance: commit e47dd22b9b · authored 2025-10-23T10:23:32+02:00 · model google/gemini-2.5-pro · Temp 0.4
let User = { name : Text, home : Text }
let makeUser = \(name : Text) -> { name = name, home = "/home/${name}" }
let users = [ makeUser "bill", makeUser "sally" ]
let User/show =
\(user : User) ->
"The user named `${user.name}` has a home directory at `${user.home}`"
in { users = users, users-rendered = map users User User/show }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.)