Casanova

1 program Added 2026-02-27T10:00:00Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled Evidence Report issue View issues
Aliases: —
Provenance: commit 3ebee9b04f · authored 2026-02-27T11:28:01+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

Catala (0.20)Cadabra (0.19)Cascalog (0.18)Casio BASIC (0.16)Carp (0.14)

LLM-contributed programs

Observer-Subject Entity Example

Provenance: commit 3ebee9b04f · authored 2026-02-27T11:28:01+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
code.cnv · added: 2026-02-27T10:00:00Z
module game
open System.Collections.Generic
open System.Collections
open System.Console
open Microsoft.FSharp.Collections
open System.Linq
open Casanova.Query

worldEntity World =
  {
    Observer : Observer
    Create() =
      {
        Observer = Observer.Create(new Subject())
      }
  }

entity Subject =
  {
    Guard : bool
    rule Guard =
      wait 1
      yield true
      yield false
    Create() =
      {
        Guard = false
      }
  }

entity Observer =
  {
    Action  : int
    Subject : Subject

    rule Action =
      wait Subject.Guard
      yield Action + 1

    Create(Subject s) =
      {
        Subject = s
        Action = 0
      }
  }

Contribute — propose a file extension

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