leanprover/verso

Hash-commands not printed in codeblocks?

Closed this issue · 0 comments

The code

```lean part name:=searchPart
#eval search (fun n => if n * n ≥ 121 then .some n else .none) 0
```

doesn't show the #eval in the output. It’s in the HTML somehow, but not visible. Maybe something to do with the info hover.