Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/dhall-lang/Prelude
This repository has moved to https://github.com/dhall-lang/dhall-lang/tree/master/Prelude
https://github.com/dhall-lang/Prelude
c40c1e056c9f906f34f75ba8d2cd8c5079d1fd80 authored about 6 years ago by Fabrizio Ferrai <[email protected]>
* Also export `Natural/toDouble` in `Natural/package.dhall`
0275fc37db164df5535f6f31249a85f4466c8be4 authored about 6 years ago by Gabriel Gonzalez <[email protected]>This is related to https://github.com/dhall-lang/dhall-lang/pull/233
Specifically, `List/fold...
a22da69657b9316a3c51ba0bf80c9d4024db3fce authored over 6 years ago by Gabriel Gonzalez <[email protected]>
I had forgotten to mirror these to the official Prelude when I added them to
the Prelude used b...
This also removes `./Optional/{Some,None}` since they are now obsolete
0c83aedb290a9c5920b42d7f4c1af97e41e89178 authored over 6 years ago by Gabriel Gonzalez <[email protected]>302881a17491f3c72238975a6c3e7aab603b9a96 authored over 6 years ago by Oliver Charles <[email protected]>
... as discussed in #6
47d2a12c50a324842c3a584c6b79449a3d263fc3 authored over 6 years ago by Gabriel Gonzalez <[email protected]>
https://github.com/dhall-lang/dhall-json/issues/32 added `dhall-json`
support for preserving th...
- Add polymorphic `keyValue` to have rows with arbitrary value type
- Add a monomorphic variant...
c79c2bc3c46f129cc5b6d594ce298a381bcae92c authored over 6 years ago by Fabrizio Ferrai <[email protected]>
The Prelude examples and code now reflect the fact that `Natural`
numbers don't require a leadi...
This initial commit transfers the Prelude from
https://github.com/dhall-lang/dhall-haskell as of...