|
Expense proposal: New keyword to render constructors
|
|
2
|
631
|
August 21, 2021
|
|
Propagating type errors when using import fallbacks
|
|
2
|
493
|
August 21, 2021
|
|
Requesting feedback on my Dhall project
|
|
1
|
513
|
August 17, 2021
|
|
Implementing Vector in dhall (or, should we add dependent sums?)
|
|
4
|
1662
|
August 12, 2021
|
|
Newbie questions
|
|
3
|
378
|
July 31, 2021
|
|
Supporting transitive imports from private repositories?
|
|
10
|
991
|
July 31, 2021
|
|
CONFLANG submission deadline coming up
|
|
0
|
357
|
July 25, 2021
|
|
Announcement: dhall-session-types
|
|
0
|
607
|
July 18, 2021
|
|
Best practices for templating K8 configs
|
|
2
|
730
|
July 14, 2021
|
|
Decode enum using Go
|
|
0
|
379
|
July 4, 2021
|
|
How would LGPL or MPL work in a Dhall config file?
|
|
1
|
356
|
July 2, 2021
|
|
Upcoming Release of Dhall Purescript
|
|
0
|
400
|
June 30, 2021
|
|
Type-checking for uniqueness in Dhall-Lang
|
|
6
|
714
|
June 14, 2021
|
|
Nixpkgs support for Dhall
|
|
0
|
347
|
May 30, 2021
|
|
Any Dhall-to-Protobuf programs out there?
|
|
1
|
673
|
May 27, 2021
|
|
Does Dhall make sense as a "better config format" in Python?
|
|
3
|
530
|
May 23, 2021
|
|
Version 20.2.0 of the standard released
|
|
0
|
326
|
May 21, 2021
|
|
Dhall to toml | toml to Dhall support
|
|
3
|
773
|
May 19, 2021
|
|
Help with type error using operator //
|
|
4
|
450
|
May 2, 2021
|
|
Text validation
|
|
3
|
565
|
April 24, 2021
|
|
Deep / nested default structures to collate multiple values
|
|
2
|
592
|
April 24, 2021
|
|
Call for presentations: CONFLANG 2021
|
|
0
|
708
|
April 22, 2021
|
|
Preserve trailing vs. leading commas?
|
|
1
|
381
|
April 11, 2021
|
|
1.38.1 Dhall for CentOS-7 AArch64
|
|
0
|
426
|
April 7, 2021
|
|
Hashicorp's Nomad Dhall bindings
|
|
1
|
524
|
April 2, 2021
|
|
AWS CloudFormation Dhall bindings
|
|
5
|
608
|
April 2, 2021
|
|
Struggling in getting basic things like imports to work
|
|
9
|
643
|
March 25, 2021
|
|
Text.split & Sets
|
|
1
|
416
|
March 19, 2021
|
|
Store.dhall-lang.org is available
|
|
3
|
636
|
March 17, 2021
|
|
Using with Graphql?
|
|
1
|
488
|
March 16, 2021
|
