Idris2Doc
: time-for-sleep
Index
Default
Alternative
Black & White
Package time-for-sleep - Namespaces
System.Time