Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dhall-lang/Prelude issues and pull requests
#15 - Move Prelude to dhall-lang repo, leaving pointers here
Pull Request -
State: closed - Opened by f-f over 5 years ago
- 2 comments
#14 - What’s the official prelude?
Issue -
State: closed - Opened by Profpatsch over 5 years ago
- 1 comment
#13 - License
Issue -
State: open - Opened by Profpatsch over 5 years ago
- 3 comments
#12 - Export `{Integer,Natural}/toDouble` from `package.dhall`
Pull Request -
State: closed - Opened by Gabriella439 over 5 years ago
#11 - Parenthesize right-associative output
Pull Request -
State: closed - Opened by Gabriella439 almost 6 years ago
#10 - Add `{Integer,Natural}/toDouble`
Pull Request -
State: closed - Opened by Gabriella439 almost 6 years ago
#9 - Use new `Some` and `None` constructors
Pull Request -
State: closed - Opened by Gabriella439 almost 6 years ago
- 2 comments
#8 - Using keywords as record keys isn't great UX
Issue -
State: open - Opened by quasicomputational almost 6 years ago
#7 - Relocate `Record` utilities underneath `JSON` subdirectory
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago
- 2 comments
#6 - Add utilities for working with `dhall-json`
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago
- 3 comments
#5 - Add a `kv` function to generate homogenous records
Pull Request -
State: closed - Opened by f-f about 6 years ago
- 2 comments
#4 - Add Function/compose
Pull Request -
State: closed - Opened by ocharles about 6 years ago
- 4 comments
#3 - Add Some and None for constructing Optional
Pull Request -
State: closed - Opened by f-f about 6 years ago
- 2 comments
#2 - Discussion: Nothing/Just?
Issue -
State: closed - Opened by f-f about 6 years ago
- 3 comments
#1 - Update Prelude to reflect changes to `Natural` literals
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago