JamesGallicchio/LeanColls

Issues

• Add `UInt*` byte seq instances

  #36 opened 8 months ago by JamesGallicchio
  0

• Add String implementations

  #35 opened 8 months ago by JamesGallicchio
  0

• Add ofFnM

  #34 opened 8 months ago by JamesGallicchio
  0

• `Seq` on `List` is simp

  #33 opened 9 months ago by JamesGallicchio
  1

• Map operation class

  #25 opened 10 months ago by JamesGallicchio
  3

• Split LeanColls/Classes/Ops.lean

  #29 opened 9 months ago by JamesGallicchio
  0

• `Index.card` has an extra universe parameter

  #27 opened 9 months ago by JamesGallicchio
  0

• Elab issues with index notation

  #22 opened 10 months ago by lecopivo
  1

• Index notation cause internal exception

  #19 opened 10 months ago by lecopivo
  0

• `reduce` and family

  #4 opened a year ago by JamesGallicchio
  2

• Dependently typed `Indexed`

  #2 opened a year ago by lecopivo
  2

• Naming arguments of Ops

  #1 opened a year ago by lecopivo
  1