Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / dhall-lang/dhall-lang issues and pull requests

#1385 - Proposals for coping with exploding normal forms

Issue - State: open - Opened by winitzki about 22 hours ago - 2 comments

#1384 - Parsing errors location not helpful

Issue - State: open - Opened by zmrocze 15 days ago

#1383 - Year, Month, and Date extraction from a Date

Issue - State: open - Opened by s-zeng about 2 months ago - 6 comments

#1380 - Fix logrotate for `nginx`

Pull Request - State: closed - Opened by Gabriella439 4 months ago

#1379 - Convert assertions to Leibniz equality types

Issue - State: open - Opened by winitzki 4 months ago - 3 comments

#1378 - A type level equivalent of the `with` keyword

Issue - State: open - Opened by Tristano8 4 months ago - 11 comments

#1377 - Fix HTML validation errors

Pull Request - State: closed - Opened by kukimik 5 months ago

#1376 - Eta-equivalence in `assert`?

Issue - State: open - Opened by winitzki 6 months ago - 13 comments

#1375 - Is there a security hole: malicious sha256-protected cached content?

Issue - State: open - Opened by winitzki 7 months ago - 1 comment

#1374 - Fix comment formatting according to dhall-docs warnings

Pull Request - State: closed - Opened by kukimik 7 months ago

#1373 - Introduce Bytes/length and Text/length as built-ins?

Issue - State: closed - Opened by winitzki 10 months ago - 3 comments

#1372 - Document more builtins

Pull Request - State: closed - Opened by Gabriella439 10 months ago

#1371 - Add support for accessing/projecting record type fields

Pull Request - State: open - Opened by Gabriella439 10 months ago

#1370 - Thoughts on introducing a minimum amount of type inference in Dhall

Issue - State: open - Opened by winitzki 10 months ago - 1 comment

#1369 - A minimalistic proposal for do-notation

Issue - State: open - Opened by winitzki 10 months ago

#1368 - Link to non existing tweet

Issue - State: open - Opened by kukimik 10 months ago

#1367 - fix import test according to #1366

Pull Request - State: closed - Opened by winitzki 10 months ago

#1365 - Proposed corrections in Dhall standard (issue #1363)

Pull Request - State: open - Opened by winitzki 11 months ago - 1 comment

#1364 - write a tutorial about Church encoding of recursive types

Pull Request - State: closed - Opened by winitzki 11 months ago - 4 comments

#1363 - Improvements and fixes in the standard documentation

Issue - State: open - Opened by winitzki 11 months ago - 3 comments

#1362 - Issues #1356, #1357, #1361 and miscellaneous typo fixes in documentation

Pull Request - State: closed - Opened by winitzki 11 months ago - 1 comment

#1361 - ABNF grammar should include a mandatory whitespace after `import-hashed`?

Issue - State: closed - Opened by winitzki 12 months ago - 1 comment

#1360 - ABNF grammar should explicitly disallow keywords as identifiers?

Issue - State: closed - Opened by winitzki 12 months ago - 2 comments

#1359 - Builtins operators reference: Missing record projection

Issue - State: closed - Opened by maxime-didier 12 months ago - 2 comments

#1358 - eta-reducing to merge

Issue - State: open - Opened by imuli 12 months ago - 4 comments

#1357 - Should the ABNF grammar disallow shebangs inside expressions?

Issue - State: closed - Opened by winitzki 12 months ago - 1 comment

#1356 - ABNF grammar should list "as Bytes" import mode

Issue - State: closed - Opened by winitzki 12 months ago

#1355 - Allow Natural and Integer literals in binary notation

Pull Request - State: closed - Opened by kukimik 12 months ago - 4 comments

#1354 - Add missing +'s in hexadecimal Integer literals

Pull Request - State: closed - Opened by kukimik 12 months ago

#1353 - `with` record update syntax removes other record fields

Issue - State: closed - Opened by rockboynton almost 1 year ago - 4 comments

#1352 - CONTRIBUTING.md: Gabriel439 -> Gabriella439

Pull Request - State: closed - Opened by kukimik about 1 year ago

#1351 - Add Natural/showHex builtin

Pull Request - State: closed - Opened by kukimik about 1 year ago - 5 comments

#1350 - Fix: remove double minus sign

Pull Request - State: closed - Opened by kukimik about 1 year ago - 1 comment

#1349 - Fix duplicated elements in the built-in types reference.

Pull Request - State: closed - Opened by divarvel about 1 year ago

#1348 - Add Prelude/Function/composeList.dhall

Pull Request - State: closed - Opened by lrworth about 1 year ago - 1 comment

#1347 - Too many duplicate type annotations?

Issue - State: closed - Opened by gardspirito about 1 year ago - 4 comments

#1346 - Reversing order of Merge and Selection?

Issue - State: closed - Opened by hllizi about 1 year ago - 2 comments

#1345 - Q. Are you interested in syntax diagrams for Dhall?

Issue - State: open - Opened by greggirwin about 1 year ago - 6 comments

#1344 - Update Dhall-in-production.md

Pull Request - State: closed - Opened by cransom about 1 year ago

#1343 - Cannot Decode Expression with extended Builtin Function

Issue - State: closed - Opened by julmue about 1 year ago - 1 comment

#1342 - Reflection or converting types to values

Issue - State: closed - Opened by NickSeagull over 1 year ago - 2 comments

#1341 - docs(tour): add guide for nested unions

Pull Request - State: closed - Opened by scarf005 over 1 year ago - 1 comment

#1340 - Time/Date arithmetic

Issue - State: open - Opened by locallycompact over 1 year ago

#1339 - Cannot import prelude

Issue - State: open - Opened by soujiro32167 over 1 year ago - 6 comments

#1338 - 502 error accessing https://prelude.dhall-lang.org/List/null.

Issue - State: closed - Opened by philderbeast over 1 year ago - 8 comments

#1337 - Update docs to link to maintained version of awesome-dhall

Pull Request - State: closed - Opened by isaacvando over 1 year ago

#1336 - Natural -> Hex Builtin

Issue - State: open - Opened by SiriusStarr over 1 year ago - 2 comments

#1335 - Fix `prelude.dhall-lang.org`

Pull Request - State: closed - Opened by Gabriella439 over 1 year ago

#1334 - import of prelude 23.0.0 is broken

Issue - State: closed - Opened by christianknoepfle over 1 year ago - 1 comment

#1333 - Version 22.0.0 → 23.0.0

Pull Request - State: closed - Opened by Gabriella439 over 1 year ago

#1332 - Add test for changing type of field inside `Optional`

Pull Request - State: closed - Opened by Gabriella439 over 1 year ago

#1331 - Update builtins documentation

Pull Request - State: closed - Opened by Gabriella439 over 1 year ago

#1330 - Prelude: Add List/mapMaybe and Map/mapMaybe

Pull Request - State: closed - Opened by JackKelly-Bellroy over 1 year ago - 3 comments

#1329 - Non-ascii characters for record labels?

Issue - State: closed - Opened by Futarimiti over 1 year ago

#1328 - Standardize support for `{Date,Time,TimeZone}/show`

Pull Request - State: closed - Opened by Gabriella439 over 1 year ago - 2 comments

#1327 - Home page dhall interpreter download link?

Issue - State: open - Opened by philderbeast over 1 year ago - 5 comments

#1326 - Add List/mapWithIndex

Pull Request - State: closed - Opened by lrworth over 1 year ago - 3 comments

#1325 - showConstructor is undocumented

Issue - State: closed - Opened by lrworth over 1 year ago

#1324 - Renaming record fields

Issue - State: open - Opened by Tristano8 over 1 year ago - 2 comments

#1323 - Standardize builtin Bytes type

Pull Request - State: closed - Opened by mmhat over 1 year ago - 2 comments

#1322 - Renamed Directory.dhall and File.dhall

Pull Request - State: closed - Opened by mmhat over 1 year ago - 6 comments

#1320 - Add Bellroy to Dhall In Production page

Pull Request - State: closed - Opened by lrworth over 1 year ago - 1 comment

#1319 - Type signatures are too long to be human readable

Issue - State: open - Opened by samuela over 1 year ago - 3 comments

#1318 - Equivalent of Haskell's `$` function?

Issue - State: open - Opened by samuela over 1 year ago - 1 comment

#1317 - added docs for external header definition for url imports

Pull Request - State: closed - Opened by christianknoepfle over 1 year ago - 3 comments

#1315 - Add `Prelude-22.0.0` to store.dhall-lang.org

Pull Request - State: closed - Opened by Gabriella439 over 1 year ago

#1314 - Version 22.0.0 isn't published to `prelude.dhall-lang.org`

Issue - State: closed - Opened by pfgray over 1 year ago - 1 comment

#1313 - apply type on None to make a valid dhall expression

Pull Request - State: closed - Opened by hagl almost 2 years ago - 3 comments

#1312 - Tutorial: Smoke test: Add 3 basic exercises

Pull Request - State: closed - Opened by hiAndrewQuinn almost 2 years ago - 1 comment

#1311 - Discussion: Jsonnet, Dhall, and other insights

Issue - State: open - Opened by ghostsquad almost 2 years ago - 4 comments

#1310 - `dhall-lang.org` down?

Issue - State: closed - Opened by bplommer almost 2 years ago - 8 comments

#1309 - How to achieve variable reference

Issue - State: open - Opened by astraw99 almost 2 years ago - 3 comments

#1306 - Add to-directory-tree related definitions

Pull Request - State: closed - Opened by mmhat about 2 years ago - 2 comments

#1304 - Fix logrotate configuration

Pull Request - State: closed - Opened by Gabriella439 about 2 years ago

#1303 - Remove top-level hydra authorization

Pull Request - State: closed - Opened by Gabriella439 about 2 years ago

#1302 - Hydra fixes related to recent Nixpkgs upgrade

Pull Request - State: closed - Opened by Gabriella439 about 2 years ago

#1301 - Re-enable self-deploy

Pull Request - State: closed - Opened by Gabriella439 about 2 years ago - 1 comment

#1300 - dhall-lang.org: Fix continuous deployment

Pull Request - State: closed - Opened by Gabriella439 about 2 years ago

#1299 - Globally accessible variables? Like `env:`?

Issue - State: open - Opened by Animeshz about 2 years ago - 3 comments

#1298 - Update Getting-started_Generate-JSON-or-YAML.md

Pull Request - State: closed - Opened by mitchpaulus about 2 years ago - 1 comment

#1297 - Documentation: no mention of date and time types

Issue - State: closed - Opened by kukimik about 2 years ago - 1 comment

#1296 - Menu scrolling on screens with low height

Pull Request - State: closed - Opened by kukimik about 2 years ago - 8 comments

#1295 - Remove reference to wiki in link description

Pull Request - State: closed - Opened by kukimik about 2 years ago - 1 comment

#1294 - Website build failed on downloading PCRE

Issue - State: open - Opened by kukimik about 2 years ago - 1 comment

#1293 - Add show builitins for date and time types

Issue - State: closed - Opened by kukimik about 2 years ago - 3 comments

#1292 - Documentation: Use of (JSON) Maps + Type Annotation Parentheses

Issue - State: open - Opened by gatsbysghost about 2 years ago - 2 comments

#1289 - Remove Unicode char `±` from ABNF (again)

Pull Request - State: closed - Opened by SiriusStarr over 2 years ago

#1288 - Fix `None`-related test

Pull Request - State: closed - Opened by Gabriella439 over 2 years ago

#1287 - Implement drop and take builtins

Pull Request - State: open - Opened by ear7h over 2 years ago - 1 comment

#1286 - List/drop causes exponentially sized normal form

Issue - State: open - Opened by ear7h over 2 years ago - 5 comments

#1285 - dhall hash / repl :hash discrepancy

Issue - State: closed - Opened by swmichaels over 2 years ago - 1 comment

#1284 - dhall-lang.org certificate expired

Issue - State: closed - Opened by moinessim over 2 years ago - 5 comments