Skip to content

dhall lint no longer sorts let bindings#2503

Merged
Gabriella439 merged 2 commits intomainfrom
gabriella/rm_sortLets
Apr 9, 2023
Merged

dhall lint no longer sorts let bindings#2503
Gabriella439 merged 2 commits intomainfrom
gabriella/rm_sortLets

Commits

Commits on Apr 8, 2023

Commits on Apr 9, 2023