|
Generating default optional values for schemas package
|
|
0
|
582
|
May 29, 2020
|
|
Input validation
|
|
2
|
583
|
May 26, 2020
|
|
RFC: GSoC project to build a "Hackage for Dhall"
|
|
18
|
1982
|
May 24, 2020
|
|
Overriding dhall shemas (dhall-kubernetes example)
|
|
8
|
1092
|
May 23, 2020
|
|
High memory use when decoding Dhall expressions
|
|
5
|
1069
|
May 23, 2020
|
|
Best way to prevent explosions of complexity
|
|
1
|
594
|
May 20, 2020
|
|
Dhall leading commas removed by dhall format
|
|
5
|
624
|
May 19, 2020
|
|
RESOLVED: Hydra nix channels seem unhappy
|
|
4
|
696
|
May 18, 2020
|
|
Version 16.0.0 of the standard released 🎉
|
|
0
|
489
|
May 14, 2020
|
|
Weird broken hashes for Prelude/JSON/Type
|
|
8
|
775
|
May 13, 2020
|
|
Template Dhall?
|
|
2
|
783
|
May 10, 2020
|
|
Default function parameters
|
|
1
|
923
|
May 10, 2020
|
|
Execute local files at import?
|
|
4
|
728
|
May 9, 2020
|
|
Best practice for using dhall as configuration format for a simple application
|
|
2
|
3034
|
May 7, 2020
|
|
Compressing cached Dhall expressions
|
|
2
|
584
|
May 1, 2020
|
|
Feedback on a blog post draft
|
|
2
|
509
|
April 30, 2020
|
|
Generating An Unattached String In Dhall
|
|
6
|
706
|
April 28, 2020
|
|
How to write hexadecimal strings?
|
|
6
|
1653
|
April 25, 2020
|
|
Dhall EDSL for HTML templates
|
|
2
|
899
|
April 25, 2020
|
|
Sum Type Subsets
|
|
3
|
838
|
April 23, 2020
|
|
Proposal: only canonicalize imports when chaining
|
|
3
|
795
|
April 20, 2020
|
|
Literal / singleton types, or value level restrictions
|
|
9
|
1611
|
April 19, 2020
|
|
Sum type value equal predicate
|
|
11
|
2665
|
April 14, 2020
|
|
Question about an import acceptance test
|
|
5
|
676
|
April 14, 2020
|
|
Valid expressions for `using headers`
|
|
4
|
760
|
April 9, 2020
|
|
Import chaining headers
|
|
3
|
910
|
April 9, 2020
|
|
Records with truly optional fields
|
|
25
|
3614
|
April 9, 2020
|
|
Type-checking a record with Kind as a field value
|
|
2
|
607
|
April 7, 2020
|
|
Β-normalization and partially-applied built-ins
|
|
4
|
737
|
April 7, 2020
|
|
Have we solved the problem of generated config yet? (best practices)
|
|
5
|
1692
|
April 5, 2020
|
