Expand description
Application pages and views.
Each page corresponds to a route in the application and represents a full-screen view with its own layout and functionality.
§Pages
§Learning & Content
Learn- Main learning interface with curriculum modulesGuide- Interactive LOGOS language programmer’s guideCrates- Crate documentation landing page with rustdoc links
§Studio & Tools
Studio- Multi-mode playground for Logic, Code, and MathWorkspace- Subject-specific workspace with sidebar and inspector
§Marketing & Info
Landing- Marketing homepage with feature highlightsPricing- Commercial licensing tiers and subscription optionsRoadmap- Development roadmap with milestone progress
§Legal & Account
Privacy- Privacy policy pageTerms- Terms of service pageSuccess- Post-checkout license activation pageProfile- User profile and settings
§Package Registry
registry- Package browsing and details submodule
Re-exports§
pub use landing::Landing;pub use landing::Landing;pub use learn::Learn;pub use learn::Learn;pub use pricing::Pricing;pub use pricing::Pricing;pub use privacy::Privacy;pub use privacy::Privacy;pub use roadmap::Roadmap;pub use roadmap::Roadmap;pub use success::Success;pub use success::Success;pub use terms::Terms;pub use terms::Terms;pub use workspace::Workspace;pub use workspace::Workspace;pub use studio::Studio;pub use studio::Studio;pub use guide::Guide;pub use guide::Guide;pub use crates::Crates;pub use crates::Crates;pub use profile::Profile;pub use profile::Profile;pub use news::News;pub use news::News;pub use news::NewsArticle;pub use news::NewsArticle;pub use benchmarks::Benchmarks;pub use benchmarks::Benchmarks;
Modules§
- benchmarks
- crates
- Crate documentation landing page.
- guide
- Programmer’s Guide page.
- landing
- Marketing landing page.
- learn
- Main learning interface.
- news
- News section for release notes and updates.
- pigeonhole_
viz - Studio easter egg — the pigeonhole principle, solved live in the browser by our prover.
- pricing
- Contact and licensing page.
- privacy
- Privacy policy page.
- profile
- User profile and progress page.
- register_
alloc_ viz - Studio easter egg — certified linear-scan register allocation, visualised.
- registry
- Phase 39: Package Registry UI
- roadmap
- Development roadmap page.
- roadmap_
data - Roadmap milestone data and content.
- roadmap_
history - Release-history data for the roadmap page.
- studio
- Studio page - multi-mode playground for Logic, Code, and Math.
- success
- Payment success and license activation page.
- terms
- Terms of service page.
- workspace
- Subject-specific workspace page.