Idris2Doc
: pretty-show
Index
Default
Alternative
Black & White
Package pretty-show - Namespaces
Text.Show.Diff
Text.Show.Pretty
Text.Show.PrettyVal
Text.Show.Value
Test.Mini