Best way to prevent explosions of complexity
|
|
1
|
453
|
May 20, 2020
|
Dhall leading commas removed by dhall format
|
|
5
|
497
|
May 19, 2020
|
RESOLVED: Hydra nix channels seem unhappy
|
|
4
|
548
|
May 18, 2020
|
Version 16.0.0 of the standard released 🎉
|
|
0
|
367
|
May 14, 2020
|
Weird broken hashes for Prelude/JSON/Type
|
|
8
|
611
|
May 13, 2020
|
Template Dhall?
|
|
2
|
579
|
May 10, 2020
|
Default function parameters
|
|
1
|
677
|
May 10, 2020
|
Execute local files at import?
|
|
4
|
562
|
May 9, 2020
|
Best practice for using dhall as configuration format for a simple application
|
|
2
|
1904
|
May 7, 2020
|
Compressing cached Dhall expressions
|
|
2
|
435
|
May 1, 2020
|
Feedback on a blog post draft
|
|
2
|
372
|
April 30, 2020
|
Generating An Unattached String In Dhall
|
|
6
|
533
|
April 28, 2020
|
How to write hexadecimal strings?
|
|
6
|
1205
|
April 25, 2020
|
Dhall EDSL for HTML templates
|
|
2
|
732
|
April 25, 2020
|
Sum Type Subsets
|
|
3
|
600
|
April 23, 2020
|
Proposal: only canonicalize imports when chaining
|
|
3
|
574
|
April 20, 2020
|
Literal / singleton types, or value level restrictions
|
|
9
|
1195
|
April 19, 2020
|
Sum type value equal predicate
|
|
11
|
1996
|
April 14, 2020
|
Question about an import acceptance test
|
|
5
|
471
|
April 14, 2020
|
Valid expressions for `using headers`
|
|
4
|
574
|
April 9, 2020
|
Import chaining headers
|
|
3
|
681
|
April 9, 2020
|
Records with truly optional fields
|
|
25
|
2951
|
April 9, 2020
|
Type-checking a record with Kind as a field value
|
|
2
|
452
|
April 7, 2020
|
Β-normalization and partially-applied built-ins
|
|
4
|
552
|
April 7, 2020
|
Have we solved the problem of generated config yet? (best practices)
|
|
5
|
1405
|
April 5, 2020
|
Version 15.0.0 of the standard released 🎉
|
|
0
|
406
|
March 27, 2020
|
Normalized form in dhall - limits and roadmap
|
|
3
|
997
|
March 20, 2020
|
How would you sell dhall to a python / ansible team?
|
|
6
|
1783
|
March 14, 2020
|
Recursive types what is possible?
|
|
1
|
437
|
March 11, 2020
|
Expense proposal: Standardize record puns
|
|
6
|
983
|
March 10, 2020
|