Idris Programming

Learn Idris programming by examples

Hello World in Idris

Values in Idris

Variables in Idris

Constants in Idris

For in Idris

If Else in Idris

Switch in Idris

Arrays in Idris

Slices in Idris

Maps in Idris

Functions in Idris

Multiple Return Values in Idris

Variadic Functions in Idris

Closures in Idris

Recursion in Idris

Range Over Built in Idris

Pointers in Idris

Strings and Runes in Idris

Structs in Idris

Methods in Idris

Interfaces in Idris

Enums in Idris

Struct Embedding in Idris

Generics in Idris

Range Over Iterators in Idris

Errors in Idris

Custom Errors in Idris

Goroutines in Idris

Channels in Idris

Channel Buffering in Idris

Channel Synchronization in Idris

Channel Directions in Idris

Select in Idris

Timeouts in Idris

Non Blocking Channel Operations in Idris

Closing Channels in Idris

Range Over Channels in Idris

Timers in Idris

Tickers in Idris

Worker Pools in Idris

Waitgroups in Idris

Rate Limiting in Idris

Atomic Counters in Idris

Mutexes in Idris

Stateful Goroutines in Idris

Sorting in Idris

Sorting By Functions in Idris

Panic in Idris

Defer in Idris

Recover in Idris

String Functions in Idris

String Formatting in Idris

Text Templates in Idris

Regular Expressions in Idris

Json in Idris

Xml in Idris

Time in Idris

Sha256 Hashes in Idris

Epoch in Idris

Time Formatting Parsing in Idris

Random Numbers in Idris

Writing Files in Idris

Number Parsing in Idris

Url Parsing in Idris

Directories in Idris

Base64 Encoding in Idris

Reading Files in Idris

Embed Directive in Idris

Testing And Benchmarking in Idris

Line Filters in Idris

File Paths in Idris

Command Line Subcommands in Idris

Temporary Files And Directories in Idris

Logging in Idris

Http Client in Idris

Command Line Arguments in Idris

Command Line Flags in Idris

Context in Idris

Environment Variables in Idris

Signals in Idris

Exit in Idris

Http Server in Idris

Execing Processes in Idris