Skip to content

Document the laws of the -WithIndex classes - #58

Open
jozanek wants to merge 2 commits into
haskellari:masterfrom
jozanek:doc/issue-745-withindex-laws
Open

Document the laws of the -WithIndex classes#58
jozanek wants to merge 2 commits into
haskellari:masterfrom
jozanek:doc/issue-745-withindex-laws

Drop the index-uniqueness claim and the lens issue reference per review

447907b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs