hablapps/DontFearTheProfunctorOptics
1
1
Fork 0
mirror of https://github.com/hablapps/DontFearTheProfunctorOptics.git synced 2024-08-16 12:30:25 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #10 from jon-hanson/patch-2

Browse Source 
Fixed another minor typo
This commit is contained in:
Jesús López-González 2022-09-05 08:18:11 +02:00 committed by GitHub
commit 0059970814
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Profunctors.md
View File

@ -179,7 +179,7 @@ to be implicit in our diagram representation. The second law `dimap assoc assoc'
This representation seems more complex, but in essence, it states that nesting
`first`s doesn't break previous law. This is implicit in the diagram as well,
where `b` and `c` simply pass trough, regardless of the nested boxes in the
where `b` and `c` simply pass-through, regardless of the nested boxes in the
upper case.
### Cocartesian