L4 Courses
Structured learning paths to master the L4 language, from complete beginner to advanced practitioner.
Available Courses
🌱 Foundation Course
For beginners - Start here if you're new to L4
Learn the fundamentals of L4 programming through hands-on exercises and real-world examples. No prior programming experience required.
Modules:
- Module 0: Introduction - What is L4?
- Module 1: Your First Legal Rule - Writing your first legal rule
- Module 2: Legal Entities and Relationships - Legal entities and types
- Module 3: Control Flow - Conditional logic and pattern matching
- Module 4: Decision Logic - Constitutive rules and DECIDE
- Module 5: Functions - Computing with functions
- Module 6: Regulative Rules - Obligations and permissions
- Module 7: Capstone - Putting it all together
Prerequisites: None
🚀 Advanced Course
For experienced users - Deep dives into advanced L4 features
Build on your foundation with advanced patterns, real-world applications, and professional workflows.
Modules:
- Module A1: Regulatory Schemes - Real regulatory schemes
- Module A2: Cross-Cutting Concerns - Handling cross-cutting concerns
- Module A3: Complex Contracts - Building complex agreements
- Module A4: Production Patterns - Production-ready patterns
Prerequisites: Foundation course or equivalent L4 experience
Learning Paths
For Legal Professionals
- Foundation Course (complete all modules, 0-7)
- Advanced: Module A1: Regulatory Schemes - encoding real legislation
- Advanced: Module A2: Cross-Cutting Concerns - timing, notices, and appeals
For Developers
- Foundation: Modules 0-5 (skim Module 0; focus on types, control flow, and functions)
- Foundation: Module 6: Regulative Rules - the part with no programming-language equivalent
- Advanced: Module A3: Complex Contracts - recursive obligations and multi-party agreements
- Advanced: Module A4: Production Patterns - testing, debugging, and deployment
For Legal Engineers
- Complete Foundation Course
- Complete Advanced Course
- Explore Concepts for deeper understanding