Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
idris2-tutorial
chuwy/idris2-tutorial
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
20mo ago
Recent commits
Latest commits.
[ new ] Chapter on details of QTT (#67)
0795cd0
Kiana Sheibani
23mo ago
Update README.md (#66)
830938f
jawadcode
23mo ago
[ fix ] some mistakes (#64)
d2f914c
Viktor Yudov
24mo ago
[ fix ] add a missing case (#61)
1c89da7
fniu
35mo ago
[ compat ] adjust to upstream changes (#60)
cf727a0
Stefan Höck
36mo ago
[ add ] Japanese translation project link to README (#58)
e3d8cdc
gemmaro
39mo ago
[ fix ] some typos (#57)
5de0d8d
gemmaro
39mo ago
Add missing links to the next chapters (#56)
5a93af4
Release-Candidate
40mo ago
Top contributors
Builders behind this project.
stefan-hoeck
42 commits
gemmaro
5 commits
mdr
2 commits
Marouan-El-Haddad
2 commits
tokinanpa
1 commits
gahr
1 commits
Release-Candidate
1 commits
spcfox
1 commits
