Idris2Doc
: ratio
Index
Default
Alternative
Black & White
Package ratio - Namespaces
Data.Ratio
Data.IntegralGCD