Idris2Doc
: multiplate
Index
Default
Alternative
Black & White
Package multiplate - Namespaces
Multiplate
Multiplate allows for traversals over mutually recursive data types, while removing a lot of the boilerplate.