PL Catalog
Home · Browse · HetCASL

HetCASL

1 program Added 2026-03-05T10:00:00Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled Evidence Report issue View issues
Aliases: Heterogeneous CASL
Provenance: commit 7dd23cec96 · authored 2026-03-05T19:15:25+01:00 · agent claude-code · model claude-sonnet-4-6

Sources mentioning this language

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

Related languages

HSAIL (0.22)HIP (0.19)Hecl (0.12)Heta (0.12)HAML (0.11)

LLM-contributed programs

Natural Numbers and Lists Specification

Origin · Download · manifest.json · Report
Provenance: commit 7dd23cec96 · authored 2026-03-05T19:15:25+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
code.het · added: 2026-03-05T10:00:00Z
library Basic/HetExample

logic CASL

spec Nat =
  free type Nat ::= 0 | suc(Nat)
  ops
    + : Nat * Nat -> Nat;
    * : Nat * Nat -> Nat
  forall m, n : Nat
  . 0 + n = n                       %( add_0 )%
  . suc(m) + n = suc(m + n)         %( add_suc )%
  . 0 * n = 0                       %( mult_0 )%
  . suc(m) * n = n + m * n          %( mult_suc )%
end

spec NatList =
  Nat
then
  free type NatList ::= nil | cons(head : Nat; tail : NatList)
  op length : NatList -> Nat
  forall x : Nat; l : NatList
  . length(nil) = 0                            %( length_nil )%
  . length(cons(x, l)) = suc(length(l))        %( length_cons )%
end

Contribute — propose a file extension

Tell us where to find evidence about HetCASL (mapped to pl/hetcasl). 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/HetCASL/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← Heta Hev →