Giters
stefan-hoeck
/
idris2-tutorial
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
183
Watchers:
8
Issues:
13
Forks:
26
stefan-hoeck/idris2-tutorial Issues
[ ambiguity ] rename `Concat.empty` in chapter "Interfaces" to something else
Updated
a year ago
Missing `Prod` definition in question 10 of Exercises part 2?
Updated
2 years ago
[ doc ] Explain syntax and parens necessary for entering negative literals.
Closed
2 years ago
Comments count
1
Missing syntax
Updated
2 years ago
Explain dollar prefix in shell commands
Closed
2 years ago
Comments count
1
Add some info about naming conventions
Closed
2 years ago
Comments count
1
[ error ] Fix bug in `minUnit` in solutions of data type chapter.
Closed
2 years ago
Comments count
1
[ doc ] Explain function application in the presence of infix operators
Updated
2 years ago
Interface Exercises: Explain showPrec better or drop related exercises.
Updated
2 years ago
Introduce interactive editing and holes earlier
Closed
2 years ago
Comments count
1
In chapter data types: Explain recursion better.
Closed
2 years ago
Comments count
1
Explain Semigroup and Monoid in Chapter Interfaces better
Closed
2 years ago
Comments count
1