Closed Nadrieril closed 4 years ago
This is a draft; I'm waiting for the corresponding dhall-lang PR to get accepted. EDIT: It's there https://github.com/dhall-lang/dhall-lang/pull/938 EDIT: It got accepted
This is a draft; I'm waiting for the corresponding dhall-lang PR to get accepted. EDIT: It's there https://github.com/dhall-lang/dhall-lang/pull/938 EDIT: It got accepted