Re-enable LambdaHack
(LambdaHack/LambdaHack#300).#7171
Merged
cdornan merged 1 commit intocommercialhaskell:masterfrom alaendle:pr/LambdaHackNov 13, 2023
+1-2
LambdaHack
(LambdaHack/LambdaHack#300).#7171