Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/dhall-lang/dhall-lang

Maintainable configuration files
https://github.com/dhall-lang/dhall-lang

confusing documentation for the Union type decoder with empty tags

amkhlv opened this issue 9 days ago
docs: fix grammar in "Programmable configuration files" discussion

das-g opened this pull request 19 days ago
Include `Bytes` as a builtin in the grammar

jbellerb opened this pull request about 2 months ago
Special Syntax to "Export" All Defined Types, Functions, and/or Values

BebeSparkelSparkel opened this issue 3 months ago
Fix `nginx` configuration

Gabriella439 opened this pull request 3 months ago
Fix GitHub SSH key

Gabriella439 opened this pull request 3 months ago
https://prelude.dhall-lang.org: Requested host does not match any Subject Alternative Names (SANs) on TLS certificate in use with this connection.

TristanCacqueray opened this issue 3 months ago
Proposals for coping with exploding normal forms

winitzki opened this issue 3 months ago
Parsing errors location not helpful

zmrocze opened this issue 4 months ago
Year, Month, and Date extraction from a Date

s-zeng opened this issue 5 months ago
A proposal for a "lightweight Dhall implementations" standard

winitzki opened this issue 6 months ago
A minimalistic proposal for adding row and column polymorphism to Dhall

winitzki opened this issue 6 months ago
Fix logrotate for `nginx`

Gabriella439 opened this pull request 7 months ago
Convert assertions to Leibniz equality types

winitzki opened this issue 7 months ago
A type level equivalent of the `with` keyword

Tristano8 opened this issue 8 months ago
Fix HTML validation errors

kukimik opened this pull request 8 months ago
Eta-equivalence in `assert`?

winitzki opened this issue 9 months ago
Is there a security hole: malicious sha256-protected cached content?

winitzki opened this issue 10 months ago
Fix comment formatting according to dhall-docs warnings

kukimik opened this pull request 10 months ago
Introduce Bytes/length and Text/length as built-ins?

winitzki opened this issue about 1 year ago
Document more builtins

Gabriella439 opened this pull request about 1 year ago
Add support for accessing/projecting record type fields

Gabriella439 opened this pull request about 1 year ago
Thoughts on introducing a minimum amount of type inference in Dhall

winitzki opened this issue about 1 year ago
A minimalistic proposal for do-notation

winitzki opened this issue about 1 year ago
Link to non existing tweet

kukimik opened this issue about 1 year ago
fix import test according to #1366

winitzki opened this pull request about 1 year ago
Is this an incorrect test file: `dhall-lang/tests/import/success/unit/ImportRelativeToHomeB.dhall`?

winitzki opened this issue about 1 year ago
Proposed corrections in Dhall standard (issue #1363)

winitzki opened this pull request about 1 year ago
write a tutorial about Church encoding of recursive types

winitzki opened this pull request about 1 year ago
Improvements and fixes in the standard documentation

winitzki opened this issue about 1 year ago
Issues #1356, #1357, #1361 and miscellaneous typo fixes in documentation

winitzki opened this pull request about 1 year ago
ABNF grammar should include a mandatory whitespace after `import-hashed`?

winitzki opened this issue about 1 year ago
ABNF grammar should explicitly disallow keywords as identifiers?

winitzki opened this issue about 1 year ago
Builtins operators reference: Missing record projection

maxime-didier opened this issue about 1 year ago
eta-reducing to merge

imuli opened this issue about 1 year ago
Should the ABNF grammar disallow shebangs inside expressions?

winitzki opened this issue about 1 year ago
ABNF grammar should list "as Bytes" import mode

winitzki opened this issue about 1 year ago
Allow Natural and Integer literals in binary notation

kukimik opened this pull request over 1 year ago
Add missing +'s in hexadecimal Integer literals

kukimik opened this pull request over 1 year ago
`with` record update syntax removes other record fields

rockboynton opened this issue over 1 year ago
CONTRIBUTING.md: Gabriel439 -> Gabriella439

kukimik opened this pull request over 1 year ago
Add Natural/showHex builtin

kukimik opened this pull request over 1 year ago
Fix: remove double minus sign

kukimik opened this pull request over 1 year ago
Fix duplicated elements in the built-in types reference.

divarvel opened this pull request over 1 year ago
Add Prelude/Function/composeList.dhall

lrworth opened this pull request over 1 year ago
Too many duplicate type annotations?

gardspirito opened this issue over 1 year ago
Reversing order of Merge and Selection?

hllizi opened this issue over 1 year ago
Q. Are you interested in syntax diagrams for Dhall?

greggirwin opened this issue over 1 year ago
Update Dhall-in-production.md

cransom opened this pull request over 1 year ago
Cannot Decode Expression with extended Builtin Function

julmue opened this issue over 1 year ago
Reflection or converting types to values

NickSeagull opened this issue over 1 year ago
docs(tour): add guide for nested unions

scarf005 opened this pull request over 1 year ago
Time/Date arithmetic

locallycompact opened this issue over 1 year ago
Cannot import prelude

soujiro32167 opened this issue over 1 year ago
502 error accessing https://prelude.dhall-lang.org/List/null.

philderbeast opened this issue over 1 year ago
Update docs to link to maintained version of awesome-dhall

isaacvando opened this pull request over 1 year ago
Natural -> Hex Builtin

SiriusStarr opened this issue over 1 year ago
Fix `prelude.dhall-lang.org`

Gabriella439 opened this pull request over 1 year ago
import of prelude 23.0.0 is broken

christianknoepfle opened this issue over 1 year ago
Version 22.0.0 → 23.0.0

Gabriella439 opened this pull request over 1 year ago
Add test for changing type of field inside `Optional`

Gabriella439 opened this pull request over 1 year ago
Update builtins documentation

Gabriella439 opened this pull request over 1 year ago
Prelude: Add List/mapMaybe and Map/mapMaybe

JackKelly-Bellroy opened this pull request almost 2 years ago
Non-ascii characters for record labels?

Futarimiti opened this issue almost 2 years ago
Standardize support for `{Date,Time,TimeZone}/show`

Gabriella439 opened this pull request almost 2 years ago
Home page dhall interpreter download link?

philderbeast opened this issue almost 2 years ago
Add List/mapWithIndex

lrworth opened this pull request almost 2 years ago
showConstructor is undocumented

lrworth opened this issue almost 2 years ago
Renaming record fields

Tristano8 opened this issue almost 2 years ago
Standardize builtin Bytes type

mmhat opened this pull request almost 2 years ago
Renamed Directory.dhall and File.dhall

mmhat opened this pull request almost 2 years ago
Case sensitive filename collision makes this repo unusable on case insensitive FS

lrworth opened this issue almost 2 years ago
Add Bellroy to Dhall In Production page

lrworth opened this pull request almost 2 years ago
Type signatures are too long to be human readable

samuela opened this issue almost 2 years ago
Equivalent of Haskell's `$` function?

samuela opened this issue almost 2 years ago
added docs for external header definition for url imports

christianknoepfle opened this pull request almost 2 years ago
The `with` keyword is not currently described in the reference documentation

maxime-didier opened this issue almost 2 years ago
Add `Prelude-22.0.0` to store.dhall-lang.org

Gabriella439 opened this pull request about 2 years ago
Version 22.0.0 isn't published to `prelude.dhall-lang.org`

pfgray opened this issue about 2 years ago
apply type on None to make a valid dhall expression

hagl opened this pull request about 2 years ago
Tutorial: Smoke test: Add 3 basic exercises

hiAndrewQuinn opened this pull request about 2 years ago
Discussion: Jsonnet, Dhall, and other insights

ghostsquad opened this issue about 2 years ago
`dhall-lang.org` down?

bplommer opened this issue about 2 years ago
How to achieve variable reference

astraw99 opened this issue about 2 years ago
Function usage question to have specific field based on arugment.

buzzerpuzzle opened this issue about 2 years ago
How to escape dollar sign in multi-line string when the dollar sign needs to be in single quotes.

MC-Escherichia opened this issue about 2 years ago
Add to-directory-tree related definitions

mmhat opened this pull request over 2 years ago
Fix logrotate configuration

Gabriella439 opened this pull request over 2 years ago
Remove top-level hydra authorization

Gabriella439 opened this pull request over 2 years ago
Hydra fixes related to recent Nixpkgs upgrade

Gabriella439 opened this pull request over 2 years ago
Re-enable self-deploy

Gabriella439 opened this pull request over 2 years ago
dhall-lang.org: Fix continuous deployment

Gabriella439 opened this pull request over 2 years ago
Globally accessible variables? Like `env:`?

Animeshz opened this issue over 2 years ago
Update Getting-started_Generate-JSON-or-YAML.md

mitchpaulus opened this pull request over 2 years ago
Documentation: no mention of date and time types

kukimik opened this issue over 2 years ago
Menu scrolling on screens with low height

kukimik opened this pull request over 2 years ago
Remove reference to wiki in link description

kukimik opened this pull request over 2 years ago
Website build failed on downloading PCRE

kukimik opened this issue over 2 years ago
Add show builitins for date and time types

kukimik opened this issue over 2 years ago
Documentation: Use of (JSON) Maps + Type Annotation Parentheses

gatsbysghost opened this issue over 2 years ago