Loreon
Labs
Platform
Docs
Home
Ecosystems
Idris
idris2-tutorial-old
nmccarty/idris2-tutorial-old
Idris
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
11mo ago
Recent commits
Latest commits.
TODOS update
6a7aca6
Nathan McCarty
11mo ago
Refactor Chapter 2 Into Subchapters
6aa3c28
Nathan McCarty
11mo ago
Refactor Intro Into Subchapters
1eea6ae
Nathan McCarty
11mo ago
Rewrite Readme
88b961e
Nathan McCarty
11mo ago
Exclude SUMMARY.md from linting
519cbaf
Nathan McCarty
11mo ago
Theming todo
d4cd4b7
Nathan McCarty
11mo ago
Extract readme prose into preface
19da8fc
Nathan McCarty
11mo ago
Perform katla highlighting in parallel
a4273f3
Nathan McCarty
11mo ago
Top contributors
Builders behind this project.
stefan-hoeck
42 commits
nmccarty
11 commits
Liable5607
6 commits
gemmaro
5 commits
kaelte
4 commits
mdr
2 commits
Marouan-El-Haddad
2 commits
chuwy
1 commits
