|
Generating default optional values for schemas package
|
|
0
|
623
|
May 29, 2020
|
|
Input validation
|
|
2
|
622
|
May 26, 2020
|
|
RFC: GSoC project to build a "Hackage for Dhall"
|
|
18
|
2152
|
May 24, 2020
|
|
Overriding dhall shemas (dhall-kubernetes example)
|
|
8
|
1159
|
May 23, 2020
|
|
High memory use when decoding Dhall expressions
|
|
5
|
1132
|
May 23, 2020
|
|
Best way to prevent explosions of complexity
|
|
1
|
643
|
May 20, 2020
|
|
Dhall leading commas removed by dhall format
|
|
5
|
678
|
May 19, 2020
|
|
RESOLVED: Hydra nix channels seem unhappy
|
|
4
|
745
|
May 18, 2020
|
|
Version 16.0.0 of the standard released 🎉
|
|
0
|
524
|
May 14, 2020
|
|
Weird broken hashes for Prelude/JSON/Type
|
|
8
|
836
|
May 13, 2020
|
|
Template Dhall?
|
|
2
|
853
|
May 10, 2020
|
|
Default function parameters
|
|
1
|
1003
|
May 10, 2020
|
|
Execute local files at import?
|
|
4
|
800
|
May 9, 2020
|
|
Best practice for using dhall as configuration format for a simple application
|
|
2
|
3345
|
May 7, 2020
|
|
Compressing cached Dhall expressions
|
|
2
|
625
|
May 1, 2020
|
|
Feedback on a blog post draft
|
|
2
|
553
|
April 30, 2020
|
|
Generating An Unattached String In Dhall
|
|
6
|
770
|
April 28, 2020
|
|
How to write hexadecimal strings?
|
|
6
|
1792
|
April 25, 2020
|
|
Dhall EDSL for HTML templates
|
|
2
|
944
|
April 25, 2020
|
|
Sum Type Subsets
|
|
3
|
893
|
April 23, 2020
|
|
Proposal: only canonicalize imports when chaining
|
|
3
|
837
|
April 20, 2020
|
|
Literal / singleton types, or value level restrictions
|
|
9
|
1735
|
April 19, 2020
|
|
Sum type value equal predicate
|
|
11
|
2845
|
April 14, 2020
|
|
Question about an import acceptance test
|
|
5
|
719
|
April 14, 2020
|
|
Valid expressions for `using headers`
|
|
4
|
820
|
April 9, 2020
|
|
Import chaining headers
|
|
3
|
964
|
April 9, 2020
|
|
Records with truly optional fields
|
|
25
|
3837
|
April 9, 2020
|
|
Type-checking a record with Kind as a field value
|
|
2
|
642
|
April 7, 2020
|
|
Β-normalization and partially-applied built-ins
|
|
4
|
815
|
April 7, 2020
|
|
Have we solved the problem of generated config yet? (best practices)
|
|
5
|
1766
|
April 5, 2020
|
