RedPRL
1 program
Added 2026-02-11T13:59:01Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 95fedcabf2 · authored 2026-02-11T15:00:02+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/redprlRelated languages
LLM-contributed programs
Basic Theorems
Provenance: commit 95fedcabf2 · authored 2026-02-11T15:00:02+01:00 · agent claude-code · model sonnet · WebSearch disabled
Thm Id(#A:type) : [A -> A] {
lam a. a
}.
Thm IdCompute(#A:type,#a:A) : [=(Id #A) #a #a] {
auto
}.
Thm Const(#A:type,#B:type) : [A -> B -> A] {
lam a. lam b. a
}.
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.)