LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

idris2-tutorial

A comprehensive tutorial for the Idris2 programming language

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

4mo ago

Recent commits

Latest commits.

Tweak mdBook settings
10cba52Nathan McCarty10mo ago
Edit chapter 3
3debf74Nathan McCarty10mo ago
Filter out nonbreaking spaces from katla
8cddac9Nathan McCarty10mo ago
Add --skip-katla flag to build-book
aff3018Nathan McCarty10mo ago
Fix parallelism
8ae0f12Nathan McCarty10mo ago

Update todo list

f28eb90Nathan McCarty10mo ago

Enable gfm alerts in book build

d000f47Nathan McCarty10mo ago

Add mdbook-alerts to dockerfile

fb1dd6dNathan McCarty10mo ago

Top contributors

Builders behind this project.

Marouan-El-Haddad