Skip to main content

Ctrl+K

A Crash Course in Idris 2
Frequently Asked Questions
Compiling to Executables
Changes since Idris 1
Type Driven Development with Idris: Updates Required
Packages
Where To Find Libraries
Structuring Idris 2 Applications
Foreign Function Interface
- FFI Overview
- Example: Minimal Readline Bindings
Theorem Proving
Implementation Notes
- Implementation Overview
- The IDE Protocol
Idris2 Reference Guide
Cookbook
- Parsing

.rst

Cookbook

Cookbook#

The cookbook provides common recipes for common patterns and applications in Idris 2.

Parsing

previous

Failing blocks

next

Parsing

By The Idris Community

© Copyright 2020-2023, The Idris Community.