• register
  • log in

hub.darcs.net :: byorgey -> equality -> files

Fork of Nils Danielsson's "equality" repo

root

  • Container
  • Equality
  • H-level
  • README
  • Tree-sort
  • Univalence-axiom
  • .boring
  • Bag-equivalence.agda
  • Bijection.agda
  • Category.agda
  • Container.agda
  • Equality.agda
  • Equivalence.agda
  • Fin.agda
  • Function-universe.agda
  • Groupoid.agda
  • H-level.agda
  • Injection.agda
  • LICENCE
  • Logical-equivalence.agda
  • M.agda
  • Preimage.agda
  • Prelude.agda
  • README.agda
  • Structure-identity-principle.agda
  • Surjection.agda
  • Tree.agda
  • Univalence-axiom.agda
  • files
  • changes
  • fork
  • download .zip
  • darcs get url
  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon