Verification-First Programming
Everything you need to know about programming in Cure
Architecture, components, and high-level project structure
Command-line interface guide and build system usage
Configure your editor with LSP support and syntax highlighting
Quick reference for Cure syntax and basic constructs
Complete formal specification of the Cure language
Dependent types, refinement types, and type checking
Quick reference for all language features and capabilities
Comprehensive guide to all aspects of Cure
How to define and use finite state machines in Cure
API design and integration patterns for FSMs
Implementation details and internals of the FSM system
Overview of all standard library modules and functions
Detailed API documentation for standard library
Working with records: field access and updates
Quick guide to SMT solver integration and usage
Installing and configuring Z3 and CVC5 solvers
How to contribute to the Cure project
Development workflow and architecture guide
Philosophy and rationale behind Cure's design
Future features and development roadmap
Complete API documentation for the Erlang compiler implementation
Working example programs demonstrating Cure features
