|
Welcome to Discourse
|
|
0
|
777
|
May 31, 2019
|
|
Nested import resolution with header via DHALL_HEADERS
|
|
3
|
24
|
February 3, 2023
|
|
Future of Dhall
|
|
2
|
122
|
December 13, 2022
|
|
Re-using fields across multiple records
|
|
1
|
105
|
November 24, 2022
|
|
Show: dhall-secret
|
|
0
|
99
|
November 17, 2022
|
|
How to import a URL with a space?
|
|
2
|
83
|
November 9, 2022
|
|
Host datatype specifications in Dhall
|
|
3
|
146
|
October 25, 2022
|
|
Create a Haskell extension that results in an enum value
|
|
0
|
91
|
October 13, 2022
|
|
Help with `buildDhallPackage`
|
|
12
|
714
|
October 12, 2022
|
|
Enhancing types without breaking compatibility - best practice
|
|
2
|
229
|
September 26, 2022
|
|
Dhall OpenAPI to generate merge functions for Kubernetes objects?
|
|
0
|
133
|
August 11, 2022
|
|
State of dhall-golang
|
|
8
|
1933
|
July 29, 2022
|
|
Generator function to monotonically return the "next" Natural?
|
|
1
|
137
|
July 24, 2022
|
|
First steps failed when trying dhall for gitlab-ci
|
|
4
|
206
|
July 18, 2022
|
|
Mixed types, functions with arguments with optional fields, gener
|
|
2
|
137
|
July 14, 2022
|
|
Type safety/polymorphism
|
|
2
|
236
|
July 3, 2022
|
|
Can't build a nixified Dhall package in a sandbox depending on the environment
|
|
13
|
234
|
June 27, 2022
|
|
Modulo function for Natural numbers?
|
|
2
|
239
|
June 23, 2022
|
|
Wish: Destructure Records in `let` bindings
|
|
1
|
173
|
June 18, 2022
|
|
Wish: Anonymous record arguments
|
|
1
|
204
|
June 18, 2022
|
|
Invalid field type
|
|
3
|
259
|
May 26, 2022
|
|
Introducing podenv configuration powered by Dhall
|
|
0
|
155
|
April 30, 2022
|
|
Updating list inside optional record field
|
|
3
|
185
|
April 29, 2022
|
|
Installing Dhall using Nix
|
|
6
|
269
|
April 27, 2022
|
|
A (failed) attempt at doing IO with Dhall
|
|
3
|
326
|
April 22, 2022
|
|
Idea for "dhall text" tool: accept arguments, including shell commands as (Text -> Text)
|
|
6
|
244
|
April 21, 2022
|
|
HTML Escaping in Dhall
|
|
2
|
175
|
April 14, 2022
|
|
Better guide for development setup?
|
|
2
|
291
|
March 17, 2022
|
|
How to merge records only if the keys exist in the type
|
|
1
|
197
|
March 3, 2022
|
|
Some insights on making a Dhall-based application
|
|
2
|
318
|
January 15, 2022
|
