Idris Programming Language
Idris is a general-purpose programming language with dependent types, where a type signature can depend on a value. It supports full dependent types, including dependent pattern matching, with tactics for discharging proof obligations.
Idris external tutorials
Awesome Idris tutorials and guides from all over the Internet.
- Idris 2 TutorialLevel: Intermediate. By: Idris Community. An introduction to Idris 2 that covers its syntax, types, data types, and other advanced topics.
- Idris Crash CourseLevel: Beginner. By: Ilias Van Peer. Duration: 1.5 hours.A quick tutorial to get started with Idris programming language.
- Idris Programming Tutorial for BeginnersLevel: Beginner. By: The Computer Scientist. Duration: 1 hour 19 minutes.A video tutorial series on Idris that covers the basics of the language, including its syntax, types, and data types.
- Idris: Systems Programming meets Functional ProgrammingLevel: Beginner. By: Lucas Pardue. Duration: 1.5 hours.In this course, you'll learn how to write safer, more expressive and efficient code with Idris programming language.
- Idris: Systems Programming meets Functional ProgrammingLevel: Beginner. By: Lucas Pardue. Duration: 1.5 hours.In this course, you'll learn how to write safer, more expressive and efficient code with Idris programming language.
- Idris TutorialLevel: Beginner. By: The Idris Community. Duration: 6+ hours.The official Idris tutorial, covering the core concepts and features of the language.
- Idris Tutorial SeriesLevel: Intermediate. By: The Computer Science Guy. Duration: 10+ hours.A comprehensive YouTube tutorial series on the Idris programming language.
- Type-Driven Development with IdrisLevel: Advanced. By: Edwin Brady. A comprehensive book on Idris, covering type-driven development, advanced type system features, and practical applications.
Try hix.dev now
Simplify project configuration.
DRY during initialization.
Prevent the technical debt, easily.