CITATION.cff

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
type: software
title: "Typell"
abstract: "Type-theoretic verification kernel for formally verified database queries, providing dependent, linear, session, quantitative, effect, and modal type coverage. Idris 2 formal specs, Rust verification kernel, Zig FFI bridge, JSON-RPC protocol. The \"LLVM of type safety\" for query validation."
authors:
  - family-names: "Jewell"
    given-names: "Jonathan D.A."
    orcid: "https://orcid.org/0000-0002-3078-6652"
repository-code: "https://github.com/hyperpolymath/typell"
keywords:
  - "rust"
  - "affinescript"
  - "dependent-types"
  - "ephapax"
  - "idris2"
  - "verification-kernel"
  - "database"
  - "epistemic-computing"
  - "epistemic-infrastructure"
  - "formal-verification"
  - "hyperpolymath"
  - "open-source"
  - "research-software"
  - "temporal-database"
  - "typed-dsl"
  - "veridical-computing"
  - "proof-carrying-queries"
  - "linear-types"