Cargo.toml

# SPDX-License-Identifier: MPL-2.0
[package]
name = "idrisiser"
version = "0.1.0"
edition = "2024"
authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
description = "Generate proven-correct wrappers from annotated interfaces using Idris2 dependent types"
license = "MPL-2.0"
repository = "https://github.com/hyperpolymath/idrisiser"
keywords = ["idris2", "formal-verification", "dependent-types", "safety"]
categories = ["command-line-utilities", "development-tools"]

[dependencies]
clap = { version = "4", features = ["derive"] }
serde = { version = "1", features = ["derive"] }
toml = "1.1"
anyhow = "1"
thiserror = "2"
handlebars = "6"
walkdir = "2"

[dev-dependencies]
tempfile = "3"