First steps failed when trying dhall for gitlab-ci
|
|
4
|
897
|
July 18, 2022
|
Mixed types, functions with arguments with optional fields, gener
|
|
2
|
660
|
July 14, 2022
|
Type safety/polymorphism
|
|
2
|
869
|
July 3, 2022
|
Can't build a nixified Dhall package in a sandbox depending on the environment
|
|
13
|
1491
|
June 27, 2022
|
Modulo function for Natural numbers?
|
|
1
|
774
|
June 23, 2022
|
Wish: Destructure Records in `let` bindings
|
|
1
|
698
|
June 18, 2022
|
Wish: Anonymous record arguments
|
|
1
|
681
|
June 18, 2022
|
Invalid field type
|
|
3
|
936
|
May 26, 2022
|
Introducing podenv configuration powered by Dhall
|
|
0
|
529
|
April 30, 2022
|
Updating list inside optional record field
|
|
3
|
602
|
April 29, 2022
|
Installing Dhall using Nix
|
|
6
|
1229
|
April 27, 2022
|
A (failed) attempt at doing IO with Dhall
|
|
3
|
991
|
April 22, 2022
|
Idea for "dhall text" tool: accept arguments, including shell commands as (Text -> Text)
|
|
6
|
633
|
April 21, 2022
|
HTML Escaping in Dhall
|
|
2
|
521
|
April 14, 2022
|
Better guide for development setup?
|
|
2
|
754
|
March 17, 2022
|
How to merge records only if the keys exist in the type
|
|
1
|
644
|
March 3, 2022
|
Some insights on making a Dhall-based application
|
|
1
|
671
|
January 15, 2022
|
Programatic Dhall text template usage from Haskell
|
|
2
|
645
|
December 26, 2021
|
Dhall as a Data Serialization Format
|
|
1
|
644
|
December 23, 2021
|
Unique list of interdependent services
|
|
1
|
601
|
December 2, 2021
|
Need help with openapi-to-dhall
|
|
5
|
820
|
November 15, 2021
|
"Trojan Source" vulnerability
|
|
0
|
587
|
November 9, 2021
|
Is there any support or workaround for `Any` type?
|
|
1
|
517
|
November 8, 2021
|
Can't login via Github
|
|
2
|
697
|
October 23, 2021
|
Config Validations
|
|
6
|
2207
|
October 12, 2021
|
Describing JSON Schema in Dhall
|
|
4
|
735
|
October 1, 2021
|
`with` documentation?
|
|
1
|
556
|
September 28, 2021
|
Dhall Format and long lines?
|
|
2
|
606
|
September 17, 2021
|
Looking for a new maintainer for dhall-golang
|
|
1
|
808
|
September 9, 2021
|
Natural division
|
|
19
|
1922
|
August 26, 2021
|