formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Add things to the Notation section

Open WhatisRT opened this issue 9 months ago • 0 comments

Here are some things that we should add:

  • [ ] mapPartial
  • [ ] inj₁, inj₂
  • [ ] proj₁, proj₂
  • [ ] isInj₁, isInj₂
  • [ ] fromList

These are things that we might not need to add if we can replace them with type classes:

  • [ ] ∘₂ (-> ∘)
  • [ ] mapˢ (map, see #322)

WhatisRT avatar May 08 '24 12:05 WhatisRT