Ur/Web
1 program
Added 2026-02-27T00:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Ur
Provenance: commit c7d61ff3fd · authored 2026-02-27T07:59:00+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
3 sources · pl_id:
pl/ur-webWikipedia 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 | functional · reactive |
|---|---|
| Typing | static, row |
| Designed by | Adam Chlipala |
| First appeared | 2014 |
| Influenced by | ML · Haskell |
| License | MIT |
| Homepage | http://impredicative.com/ur |
Extensions 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 |
|---|---|---|---|
.urp | wikidata | primary | 3.0K files |
Related languages
LLM-contributed programs
Factorial
Provenance: commit c7d61ff3fd · authored 2026-02-27T07:59:00+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
fun fact (n : int) : int =
if n <= 0 then 1
else n * fact (n - 1)
fun main () : transaction page =
return <xml>
<head><title>Factorial</title></head>
<body>
<p>10! = {[fact 10]}</p>
</body>
</xml>
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.)