prettyprinter icon indicating copy to clipboard operation
prettyprinter copied to clipboard

Example code is broken

Open BatiDyDx opened this issue 11 months ago • 3 comments

The example shown on the module main page, the prettyprintType function, is actually not type checking due to the String list of separators. It is rather expected a [Doc ann] type element.

BatiDyDx avatar Mar 05 '24 22:03 BatiDyDx