Easy low-effort puzzle generator thingy

Changes

1 changed files (+9/-0)

• Puzzle.lean (new)
  • @@ -0,0 +1,9 @@
    + def s := "hello world" + + #eval s.toList.map (λ x ↦ + let bx := x.toUInt8.toBitVec + List.range 8 + |>.map λ y ↦ + if bx.getMsbD y then " " else "") + |>.flatten + |> "f".intercalate