deft: A gradual type system for Janet
Summary
deft introduces a gradual typing system for Janet with bidirectional inference, runtime checks, and static analysis. The doc covers defining types, typed values, contracts, and module boundary typing, with examples and references. The project is open source on Codeberg.