# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO # # When uploading crates to the registry Cargo will automatically # "normalize" Cargo.toml files for maximal compatibility # with all versions of Cargo and also rewrite `path` dependencies # to registry (e.g., crates.io) dependencies. # # If you are reading this file be aware that the original Cargo.toml # will likely look very different (and much more reasonable). # See Cargo.toml.orig for the original contents. [package] edition = "2021" name = "junglefowl" version = "0.1.1" authors = ["Will Sturgeon "] description = "Brutally murdering Rust's type system one proof at a time." readme = "README.md" keywords = [ "types", "proofs", "math", "logic", "metaprogramming", ] categories = [ "mathematics", "encoding", "algorithms", "compilers", "data-structures", ] license = "LGPL-3.0-or-later" repository = "https://github.com/wrsturgeon/junglefowl" [dependencies.junglefowl-macros] version = ">0.0"