Idris2Doc
: literal
Index
Default
Alternative
Black & White
Package literal - Namespaces
Literal
Literal.Prelude
This provides `Lit` implementations for the types from the prelude. If you import this, make sure to add the following pragmas to the top of your source files:
Derive.Literal