toki/idris2-ratio
1
0
Fork 0
Code Issues Pull requests Activity

Typo

Browse source
This commit is contained in:
Kiana Sheibani 2023-08-06 22:19:40 -04:00
parent c1bfc2f042
commit 5a6b7cad3f
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Data/Ratio.idr
View file

@ -47,7 +47,7 @@ mkRatio n d = case d /= 0 of
True => reduce $ MkRatio n d
||| Create a ratio of two values, unsafely assuming that they are coprime and
||| the denomindator is non-zero.
||| the denominator is non-zero.
||| WARNING: This function will behave erratically and may crash your program
||| if these conditions are not met!
export %unsafe