beginner 6 hr 11 lessons
Core Lean
Go beyond the basics of Lean: data types, collections, error handling, and the standard library you reach for every day.
Taught by The StretchCode Faculty
What you'll learn
- Work fluently with Lean data types and collections
- Handle errors and edge cases
- Organize code into reusable units
- Navigate the Lean standard library
Curriculum
Robust Code
1Handling Errors
2Debugging Skills
3Your First Tests
Files and Modules
1Reading and Writing Files
2Structuring with Modules
Build Something
1Plan and Build
2Ship It