No description, website, or topics provided.
Switch branches/tags
Clone or download
Gabriel439 Export `{Integer,Natural}/toDouble` from `package.dhall` (#12)

* Also export `Natural/toDouble` in `Natural/package.dhall`
Latest commit 0275fc3 Oct 16, 2018