HoTT/HoTT-Agda

Issues

• Archiving this repository

  #53 opened 2 years ago by favonia
  4

• Move FinSet into core

  #49 opened 2 years ago by favonia
  0

• Change the inductive definition of iterative loop spaces?

  #37 opened 2 years ago by favonia
  6

• Compatibility with Agda 2.5.4

  #42 opened 2 years ago by favonia
  0

• A frozen artifact

  #52 opened 5 years ago by HuStmpHrrr
  1

• `instance`s with explicit arguments in `NType.agda` no longer works under the master branch of Agda

  #51 opened 6 years ago by ice1000
  2

• Definition of `Bool` should follow the builtin form

  #50 opened 6 years ago by ice1000
  0

• Should we enable `--caching` in every file?

  #35 opened 6 years ago by favonia
  1

• Fix cohomology.MayerVietorisExact.

  #33 opened 7 years ago by favonia
  0

• Agda 2.5.3 compatibility tracker

  #27 opened 7 years ago by favonia
  0

• Update the HIT_README file for rewriting

  #26 opened 8 years ago by ruhatch
  4

• Compilation warning

  #28 opened 8 years ago by WojciechKarpiel
  4

• Constructors of the same name confuse Agda

  #5 opened 11 years ago by aerskine
  6

• J and J' are exactly the same

  #23 opened 8 years ago by ptrcmd
  1

• infix path composition not parsed correctly

  #22 opened 8 years ago by mikeshulman
  0

• Set Quotients

  #18 opened 9 years ago by Saizan
  2

• Agda 2.5.0 compatibility and literals for truncation levels

  #21 opened 9 years ago by favonia
  1

• definition of ↓-='-in/↓-='-out

  #16 opened 9 years ago by ecavallo
  1

• Update `index.agda`

  #15 opened 9 years ago by pthariensflame
  1

• General precedence rule

  #20 opened 10 years ago by favonia
  2

• Type checking failure in lib/types/Flattening.agda

  #17 opened 10 years ago by imeckler
  5

• injectivity of successor

  #12 opened 11 years ago by mikeshulman
  0

• Upgrade to Agda 2.3.4

  #10 opened 11 years ago by favonia
  3

• Development branch

  #6 opened 11 years ago by favonia
  3

• README should mention Agda should be run --without-K

  #7 opened 11 years ago by ezyang
  4