Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard
verified publisher icon idris-lang

[ new ] do not split on dotted patterns

Open gallais opened this issue 3 years ago • 0 comments

gallais avatar Oct 07 '22 16:10 gallais