doc: missing (type := true) in reader monad example#6196

Merged

Kha merged 1 commit intoleanprover:masterfrom jsr-p:fix-missing-reduce

Dec 7, 2024

+2-2

Commits on Nov 25, 2024

fix: missing (type := true) in reader monad example
jsr-p
committed