Skip to content

Pull requests: hmemcpy/milewski-ctfp-pdf

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Add definition of subobject classifier
#390 opened Oct 26, 2025 by ktgw0316 Loading…
3.9 - Add missing "Suppose that"
#387 opened Sep 26, 2025 by ktgw0316 Loading…
Use mappend/mempty instead of ++/""
#381 opened Sep 14, 2025 by ktgw0316 Loading…
Replace I with Identity in Haskell code in 3.11
#380 opened Sep 14, 2025 by ktgw0316 Loading…
Update Kan extension diagrams
#377 opened Sep 1, 2025 by ktgw0316 Loading…
3.10: Denominator must be non-zero
#369 opened Aug 18, 2025 by ktgw0316 Loading…
fix: functor from Kleisli to underlying category
#368 opened Aug 14, 2025 by kkinugasa Loading…
fix: Add missing $q$ in 13.2
#352 opened Feb 15, 2025 by ktgw0316 Loading…
Ocaml updates
#348 opened Jan 20, 2025 by jakubsvec001 Loading…
Update OCaml snippets
#346 opened Jan 3, 2025 by ComanderP Loading…
Fix category font style
#334 opened May 14, 2024 by EFanZh Loading…
Replace template<class> with template<typename>
#309 opened Feb 12, 2023 by matssson Loading…
Make code similar to Haskell
#224 opened Oct 21, 2019 by winitzki Loading…
Make code similar to Haskell
#223 opened Oct 21, 2019 by winitzki Loading…
Make code more corresponding to Haskell
#222 opened Oct 21, 2019 by winitzki Loading…
fix to the coend definition
#221 opened Oct 21, 2019 by winitzki Loading…
Redraw commutative diagrams with Tikz
#219 opened Oct 4, 2019 by platipo Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.