Skip to content

Improve Lens haddocks#900

Merged
dmjio merged 1 commit into
dmjio:masterfrom
jhrcek:jhrcek/improve-lens-haddock
Apr 28, 2025
Merged

Improve Lens haddocks#900
dmjio merged 1 commit into
dmjio:masterfrom
jhrcek:jhrcek/improve-lens-haddock

Conversation

@jhrcek
Copy link
Copy Markdown
Contributor

@jhrcek jhrcek commented Apr 28, 2025

What this does: use single block of code for each example instead of multiple separate ">" blocks
Also made few examples simpler/more uniform and added haddock links where appropriate.

Before (left) vs. After
Screenshot from 2025-04-28 17-07-27

@dmjio
Copy link
Copy Markdown
Owner

dmjio commented Apr 28, 2025

Beautiful 👌🏼

@dmjio dmjio merged commit 23a5093 into dmjio:master Apr 28, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants