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

Add brief description

Browse source
This commit is contained in:
Kiana Sheibani 2024-06-07 02:18:53 -04:00
parent 52eb83594b
commit d19ae136f7
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
ratio.ipkg
View file

@ -1,4 +1,5 @@
package ratio package ratio
brief = "Arbitrary-precision ratio types"
version = 1.0.0 version = 1.0.0
authors = "Kiana Sheibani" authors = "Kiana Sheibani"