npmjs.org : @hyperpolymath/proven-rescript : 0.9.0
ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.
Registry -
Download -
JSON -
codemeta.json
Integrity: sha512-SHyrsJekxmFrVROJPkcA... -
purl: pkg:npm/%40hyperpolymath/proven-rescript@0.9.0
Published:
Indexed:
Loading...
Readme
Loading...