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

Move Prelude to dhall-lang repo, leaving pointers here

f-f opened this pull request about 6 years ago

What’s the official prelude?

Profpatsch opened this issue about 6 years ago

License

Profpatsch opened this issue about 6 years ago

Export `{Integer,Natural}/toDouble` from `package.dhall`

Gabriella439 opened this pull request about 6 years ago

Parenthesize right-associative output

Gabriella439 opened this pull request over 6 years ago

Add `{Integer,Natural}/toDouble`

Gabriella439 opened this pull request over 6 years ago

Use new `Some` and `None` constructors

Gabriella439 opened this pull request over 6 years ago

Using keywords as record keys isn't great UX

quasicomputational opened this issue over 6 years ago

Relocate `Record` utilities underneath `JSON` subdirectory

Gabriella439 opened this pull request over 6 years ago

Add utilities for working with `dhall-json`

Gabriella439 opened this pull request over 6 years ago

Add a `kv` function to generate homogenous records

f-f opened this pull request over 6 years ago

Add Function/compose

ocharles opened this pull request over 6 years ago

Add Some and None for constructing Optional

f-f opened this pull request over 6 years ago

Discussion: Nothing/Just?

f-f opened this issue over 6 years ago

Update Prelude to reflect changes to `Natural` literals

Gabriella439 opened this pull request over 6 years ago