|
Natural division
|
|
19
|
811
|
August 26, 2021
|
|
Add built-in arithmetic operations for Naturals and Integers?
|
|
0
|
165
|
August 24, 2021
|
|
Expense proposal: Add `with` support for modifying `Optional` values
|
|
0
|
319
|
August 24, 2021
|
|
Google Summer of Code projects: TOML and CSV support
|
|
4
|
603
|
August 23, 2021
|
|
Dhall bindings to TOML (GSoC Project)
|
|
0
|
262
|
August 23, 2021
|
|
Dhall bindings to CSV (GSoC Project)
|
|
0
|
271
|
August 23, 2021
|
|
Expense proposal: New keyword to render constructors
|
|
2
|
311
|
August 21, 2021
|
|
Expense proposal: Restore Sublime syntax highlighting support for Dhall
|
|
3
|
452
|
August 21, 2021
|
|
Propagating type errors when using import fallbacks
|
|
2
|
255
|
August 21, 2021
|
|
Requesting feedback on my Dhall project
|
|
1
|
286
|
August 17, 2021
|
|
Implementing Vector in dhall (or, should we add dependent sums?)
|
|
4
|
1197
|
August 12, 2021
|
|
Newbie questions
|
|
3
|
182
|
July 31, 2021
|
|
Supporting transitive imports from private repositories?
|
|
10
|
495
|
July 31, 2021
|
|
CONFLANG submission deadline coming up
|
|
0
|
177
|
July 25, 2021
|
|
Announcement: dhall-session-types
|
|
0
|
347
|
July 18, 2021
|
|
Best practices for templating K8 configs
|
|
2
|
357
|
July 14, 2021
|
|
Text manipulation functions
|
|
52
|
3458
|
July 9, 2021
|
|
Decode enum using Go
|
|
0
|
169
|
July 4, 2021
|
|
How would LGPL or MPL work in a Dhall config file?
|
|
1
|
182
|
July 2, 2021
|
|
Upcoming Release of Dhall Purescript
|
|
0
|
218
|
June 30, 2021
|
|
Type-checking for uniqueness in Dhall-Lang
|
|
6
|
434
|
June 14, 2021
|
|
Nixpkgs support for Dhall
|
|
0
|
188
|
May 30, 2021
|
|
Any Dhall-to-Protobuf programs out there?
|
|
1
|
291
|
May 27, 2021
|
|
Does Dhall make sense as a "better config format" in Python?
|
|
3
|
299
|
May 23, 2021
|
|
Version 20.2.0 of the standard released
|
|
0
|
168
|
May 21, 2021
|
|
Dhall to toml | toml to Dhall support
|
|
3
|
353
|
May 19, 2021
|
|
Help with type error using operator //
|
|
4
|
235
|
May 2, 2021
|
|
Text validation
|
|
3
|
254
|
April 24, 2021
|
|
Deep / nested default structures to collate multiple values
|
|
2
|
329
|
April 24, 2021
|
|
Call for presentations: CONFLANG 2021
|
|
0
|
494
|
April 22, 2021
|
