Exhaustive record field matching (2)
Version 10.0.0 of the standard released (1)
Recursive record merges (∧) in the wild (1)
Funding for Dhall using OpenCollective (3)
CUE: Another interesting configuration language (3)
Implementing Vector in dhall (or, should we add dependent sums?) (3)
Google Summer of Code project complete! 🎉 (1)
Documenting Dhall expressions (4)
Localization of dhall (interpreter & material) (2)
On vacation for a week (2)
Supporting the rationals (16)
Any notes on normalization by evaluation for dhall-haskell? (4)
Dhall-to-xml and xml-to-dhall prerelease (8)
Dhall EDSL for HTML templates (2)
What's up with Bool/even and Bool/odd? (3)
Now publishing pre-cached Prelude on IPFS (2)
Topic ideas for "Dhall cookbook" (9)
Updating inside nested records (2)
Working with rationals (4)
Idea for a slight rebranding change (7)
It needs to be clearer from the homepage that language bindings exist (5)
(dhall-lsp-server) Blog post on "Implementing the Type-on-Hover feature" (3)
Feedback on dhall-lang.org from a Reddit user (4)
Sorry, I deleted the forum history 😳 (6)
Version 1.24.0 of Haskell implementation released (1)
Version 8.0.0 of the standard released (1)
The Dhall language server (GSoC project) (1)