Skip to content

Issues: dhall-lang/dhall-lang

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

140 Open 387 Closed
140 Open 387 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

A type level equivalent of the with keyword
#1378 opened May 21, 2024 by Tristano8
1
Eta-equivalence in assert?
#1376 opened Apr 5, 2024 by winitzki
13
Is there a security hole: malicious sha256-protected cached content?
#1375 opened Mar 4, 2024 by winitzki
1
Thoughts on introducing a minimum amount of type inference in Dhall
#1370 opened Nov 30, 2023 by winitzki
A minimalistic proposal for do-notation
#1369 opened Nov 30, 2023 by winitzki
Link to non existing tweet
#1368 opened Nov 25, 2023 by kukimik
Improvements and fixes in the standard documentation
#1363 opened Nov 2, 2023 by winitzki
3
eta-reducing to merge
#1358 opened Oct 17, 2023 by imuli
4
Q. Are you interested in syntax diagrams for Dhall?
#1345 opened Aug 4, 2023 by greggirwin
6
Time/Date arithmetic
#1340 opened May 19, 2023 by locallycompact
Cannot import prelude
#1339 opened May 8, 2023 by soujiro32167
6
Natural -> Hex Builtin
#1336 opened Apr 19, 2023 by SiriusStarr
1
1
Home page dhall interpreter download link?
#1327 opened Mar 1, 2023 by philderbeast
5
Renaming record fields
#1324 opened Feb 9, 2023 by Tristano8
2
Type signatures are too long to be human readable
#1319 opened Feb 4, 2023 by samuela
3
Equivalent of Haskell's $ function?
#1318 opened Feb 4, 2023 by samuela
1
Discussion: Jsonnet, Dhall, and other insights
#1311 opened Nov 9, 2022 by ghostsquad
4
How to achieve variable reference
#1309 opened Oct 31, 2022 by astraw99
3
Function usage question to have specific field based on arugment.
#1308 opened Oct 6, 2022 by buzzerpuzzle
How to escape dollar sign in multi-line string when the dollar sign needs to be in single quotes.
#1307 opened Oct 5, 2022 by MC-Escherichia
1
Globally accessible variables? Like env:?
#1299 opened Aug 24, 2022 by Animeshz
3
Website build failed on downloading PCRE
#1294 opened Aug 8, 2022 by kukimik
1
Documentation: Use of (JSON) Maps + Type Annotation Parentheses
#1292 opened Aug 3, 2022 by scooberu
2
List/drop causes exponentially sized normal form
#1286 opened Jun 15, 2022 by ear7h
5
Better ergonomics for referencing fields of the current record
#1281 opened Apr 10, 2022 by pombadev
4
ProTip! Updated in the last three days: updated:>2024-05-19.