idris2-tutorial
idris2-tutorial copied to clipboard
[ ambiguity ] rename `Concat.empty` in chapter "Interfaces" to something else
Recently, using the name empty
has led to strange disambiguation bugs, probably due to a conflict with empty
from Alternative
.