copumpkin/categories

Issues

• Incompatabilities

  #30 opened 5 years ago by HuStmpHrrr
  18

• Categories.Support.SetoidPi does not compile with stdlib 0.16 due to Relation.Binary.Indexed

  #27 opened 5 years ago by p-pavel
  1

• Unsolved metas in Categories.Power.NaturalTransformation with 2.5.4.2

  #26 opened 5 years ago by p-pavel
  1

• Category & Functor need to be marked with eta-equality to satisfy 2.5.4.2

  #25 opened 5 years ago by p-pavel
  4

• Categories.Comma dos not type check with stdlib 0.16

  #24 opened 5 years ago by p-pavel
  1

• Relation.Binary.On moved to Relation.Binary.Construct.On in stdlib 0.16

  #23 opened 5 years ago by p-pavel
  1

• Data.Product.N-ary in stdlib 0.16 have [] conflicting with Data.Vec

  #22 opened 5 years ago by p-pavel
  1

• in stdlib-0.16 implicit argument of Lift is now explicit

  #21 opened 5 years ago by p-pavel
  4

• Horizontal composition does not compile anymore in later version of agda

  #19 opened 5 years ago by HuStmpHrrr
  6

• Lift

  #20 opened 6 years ago by p-pavel
  1

• Parse error with agda 2.5.2

  #16 opened 7 years ago by MirceaS
  4

• Delay Monad using sized types for ISetoids

  #18 opened 7 years ago by ajrouvoet
  2

• Doesn't build with 2.4.2.3-rc

  #11 opened 8 years ago by Fuuzetsu
  2

• Several issues with 2.5.1.1

  #14 opened 8 years ago by JacquesCarette
  1

• Foo

  #9 opened 10 years ago by copumpkin
  0

• Does not build on 2.4.2

  #7 opened 10 years ago by Fuuzetsu
  1

• Library does not build with agda trunk

  #5 opened 10 years ago by JasonGross
  3