PL Catalog
Home · Browse · Cedille

Cedille

1 program Added 2026-02-11T11:52:17Z Agent: claude-codeModel: sonnetWebSearch: disabled Evidence Report issue View issues
Aliases: —
Provenance: commit b8dda21fe7 · authored 2026-02-11T12:52:59+01:00 · agent claude-code · model sonnet

Sources mentioning this language

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

Related languages

Cedar (0.23)Ceptre (0.21)Circle (0.21)Estelle (0.20)Isabelle (0.19)

LLM-contributed programs

Natural Numbers with Addition and Multiplication

Origin · Download · manifest.json · Report
Provenance: commit b8dda21fe7 · authored 2026-02-11T12:52:59+01:00 · agent claude-code · model sonnet · WebSearch disabled
code.ced · license: MIT · added: 2026-02-11T11:52:17Z
module nat.

data Nat : ★ =
  | zero : Nat
  | succ : Nat ➔ Nat.

add : Nat ➔ Nat ➔ Nat
  = λ m. λ n. μ addN. m {
    | zero ➔ n
    | succ m' ➔ succ (addN m')
  }.

mult : Nat ➔ Nat ➔ Nat
  = λ m. λ n. μ multN. m {
    | zero ➔ zero
    | succ m' ➔ add n (multN m')
  }.

Contribute — propose a file extension

Tell us where to find evidence about Cedille (mapped to pl/cedille). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/Cedille/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← cedar-fortran ceemac →