Idris2Doc
: records
Index
Default
Alternative
Black & White
Package records - Namespaces
Records