intermediate 7 hr 10 lessons
Intermediate Idris
Level up your Idris. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Taught by The StretchCode Faculty
What you'll learn
- Write idiomatic Idris
- Structure larger Idris projects
- Apply common patterns effectively
- Debug and reason about Idris programs
Curriculum
Design
1Objects and Classes
2Design Patterns
Quality
1Error Handling
2Testing
3Debugging
Real Project
1Build the Core
2Deploy