-
-
Notifications
You must be signed in to change notification settings - Fork 0
Users
Your Name edited this page Jan 26, 2026
·
1 revision
proven gives you safer functions so your apps crash less and avoid security bugs.
What matters to you:
- Functions are proven correct in Idris 2
- No hidden logic in wrappers
- Safer defaults for parsing, paths, URLs, and JSON
If you just want reliable functions, you don’t need to know the details—Idris proofs handle it for you.