Skip to content

Commit

Permalink
Added binary Dhall files needed by the benchmarks
Browse files Browse the repository at this point in the history
  • Loading branch information
@mmhat
mmhat committed Nov 7, 2024
1 parent e59dcdb commit 2b7511d
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions dhall/dhall.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ Data-Files:
Extra-Source-Files:
CHANGELOG.md
benchmark/**/*.dhall
benchmark/**/*.dhallb
dhall-lang/Prelude/**/*.dhall
dhall-lang/Prelude/Bool/and
dhall-lang/Prelude/Bool/build
Expand Down

0 comments on commit 2b7511d

Please sign in to comment.