@hyperpolymath/proven-rescript
ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.
Ecosystem
npmjs.org
npmjs.org
Latest Release
3 months ago
0.9.0
3 months ago
Versions
1
1
Links
| Registry | npmjs.org |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:npm/%40hyperpolymath/proven-rescript
spec |
| License | SSPL-1.0 |
| Namespace | hyperpolymath |
| First Release | 3 months ago |
| Last Synced | 29 days ago |