emilyriehl/yoneda

Issues

• Check and render STYLEGUIDE.md

  #32 opened a year ago by fizruk
  5

• implementing the style guide

  #14 opened a year ago by emilyriehl
  42

• Yoneda's lemma in Agda with a directed interval

  #19 opened 2 years ago by fredrik-bakke
  5

• Change numbering of sHoTT files

  #36 opened a year ago by jonweinb
  5

• Switch away from curly braces for parameters

  #31 opened a year ago by fizruk
  1

• Switch to Unicode syntax

  #29 opened a year ago by fizruk
  2

• Use #assume (alias of #variables) for extension extensionality

  #26 opened a year ago by fizruk
  3

• Reopened dependent Yoneda branch

  #22 opened a year ago by jonweinb
  2

• Protect `master` and contribute through pull requests

  #16 opened 2 years ago by fredrik-bakke
  8

• Naming convention and coding style

  #10 opened 2 years ago by fizruk
  21

• Unification error for sigma types

  #5 opened 2 years ago by jonweinb
  3

• error typechecking isHalfAdjointEquiv

  #4 opened 2 years ago by jonweinb
  2