dada/lib.rs
1//! # Dada Programming Language
2//!
3//! **👉 For complete documentation and APIs, see the [`dada_lang`](../dada_lang) crate.**
4//!
5//! This crate provides the main binary entry point for the Dada programming language compiler.
6//! The actual compiler implementation, APIs, and comprehensive documentation are located in
7//! the [`dada_lang`](../dada_lang) crate.
8//!
9//! ## Quick Start
10//!
11//! If you're looking to:
12//!
13//! - **Use the Dada compiler** - You're in the right place! Install with `cargo install dada`
14//! - **Understand the compiler architecture** - See [`dada_lang`](../dada_lang) for the complete overview
15//! - **Explore the type system** - Start with [`dada_ir_sym`](../dada_ir_sym) documentation
16//! - **Contribute to development** - Check out the [`dada_lang`](../dada_lang) module documentation
17//!
18//! ## Example Usage
19//!
20//! ```bash
21//! # Compile a Dada source file
22//! dada compile my_program.dada
23//!
24//! # Run a Dada program
25//! dada run my_program.dada
26//!
27//! # Run tests
28//! dada test tests/
29//! ```
30//!
31//! ## Architecture
32//!
33//! The Dada compiler is organized as a workspace with several components:
34//!
35//! - [`dada_lang`](../dada_lang) - Main compiler APIs and CLI (start here!)
36//! - [`dada_parser`](../dada_parser) - Lexing and parsing
37//! - [`dada_ir_sym`](../dada_ir_sym) - Symbolic IR and type checking
38//! - [`dada_check`](../dada_check) - Type checking orchestration
39//! - [`dada_codegen`](../dada_codegen) - WebAssembly code generation
40//! - [`dada_compiler`](../dada_compiler) - Compilation orchestration
41//!
42//! For the complete documentation, visit [`dada_lang`](../dada_lang).
43
44// Re-export the main API from dada-lang for convenience
45pub use dada_lang::*;