idris2-tutorial icon indicating copy to clipboard operation
idris2-tutorial copied to clipboard

Published 20 hours ago • verified publisher icon stefan-hoeck

Interface Exercises: Explain showPrec better or drop related exercises.

Open stefan-hoeck opened this issue 3 years ago • 1 comments

stefan-hoeck avatar Mar 03 '22 08:03 stefan-hoeck

Hi @stefan-hoeck,

What does showPrec do?

jgarte avatar May 18 '24 14:05 jgarte