Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hott/hott-agda issues and pull requests

#53 - Archiving this repository

Issue - State: closed - Opened by favonia over 3 years ago - 4 comments

#53 - Archiving this repository

Issue - State: closed - Opened by favonia over 3 years ago - 4 comments

#52 - A frozen artifact

Issue - State: open - Opened by HuStmpHrrr about 5 years ago - 1 comment

#52 - A frozen artifact

Issue - State: open - Opened by HuStmpHrrr about 5 years ago - 1 comment

#50 - Definition of `Bool` should follow the builtin form

Issue - State: open - Opened by ice1000 over 6 years ago

#50 - Definition of `Bool` should follow the builtin form

Issue - State: open - Opened by ice1000 over 6 years ago

#49 - Move FinSet into core

Issue - State: closed - Opened by favonia over 6 years ago

#49 - Move FinSet into core

Issue - State: closed - Opened by favonia over 6 years ago

#48 - [ .agda-lib files ] Convenient renaming

Pull Request - State: closed - Opened by jonaprieto over 6 years ago - 1 comment

#48 - [ .agda-lib files ] Convenient renaming

Pull Request - State: closed - Opened by jonaprieto over 6 years ago - 1 comment

#47 - Cup Products, stage 2

Pull Request - State: closed - Opened by timjb over 6 years ago - 7 comments

#47 - Cup Products, stage 2

Pull Request - State: closed - Opened by timjb over 6 years ago - 7 comments

#46 - Generalize cup product maps using tensor product

Pull Request - State: closed - Opened by timjb over 6 years ago

#46 - Generalize cup product maps using tensor product

Pull Request - State: closed - Opened by timjb over 6 years ago

#45 - Update ACKNOWLEDGMENTS.

Pull Request - State: closed - Opened by favonia over 6 years ago

#45 - Update ACKNOWLEDGMENTS.

Pull Request - State: closed - Opened by favonia over 6 years ago

#44 - [WIP] Add support for Agda 2.5.4

Pull Request - State: open - Opened by timjb over 6 years ago - 25 comments

#44 - [WIP] Add support for Agda 2.5.4

Pull Request - State: open - Opened by timjb over 6 years ago - 25 comments

#43 - [ PathOver ] Change types variables to be uppercase

Pull Request - State: closed - Opened by jonaprieto over 6 years ago

#43 - [ PathOver ] Change types variables to be uppercase

Pull Request - State: closed - Opened by jonaprieto over 6 years ago

#42 - Compatibility with Agda 2.5.4

Issue - State: closed - Opened by favonia over 6 years ago

#42 - Compatibility with Agda 2.5.4

Issue - State: closed - Opened by favonia over 6 years ago

#41 - Define cup product in degrees 0 and 1

Pull Request - State: closed - Opened by timjb almost 7 years ago - 18 comments

#41 - Define cup product in degrees 0 and 1

Pull Request - State: closed - Opened by timjb almost 7 years ago - 18 comments

#40 - Document files in theorems/{homotopy,cohomology}/

Pull Request - State: closed - Opened by timjb almost 7 years ago - 3 comments

#40 - Document files in theorems/{homotopy,cohomology}/

Pull Request - State: closed - Opened by timjb almost 7 years ago - 3 comments

#39 - Conjecture 3.5.3 stage 3.

Pull Request - State: closed - Opened by favonia about 7 years ago

#39 - Conjecture 3.5.3 stage 3.

Pull Request - State: closed - Opened by favonia about 7 years ago

#38 - Conjecture 3.5.3 of favonia's thesis, stage 2.

Pull Request - State: closed - Opened by favonia about 7 years ago

#38 - Conjecture 3.5.3 of favonia's thesis, stage 2.

Pull Request - State: closed - Opened by favonia about 7 years ago

#37 - Change the inductive definition of iterative loop spaces?

Issue - State: closed - Opened by favonia about 7 years ago - 6 comments
Labels: question

#37 - Change the inductive definition of iterative loop spaces?

Issue - State: closed - Opened by favonia about 7 years ago - 6 comments
Labels: question

#36 - Finite cases of Conjecture 3.5.3 in favonia's thesis, stage 1

Pull Request - State: closed - Opened by favonia about 7 years ago

#36 - Finite cases of Conjecture 3.5.3 in favonia's thesis, stage 1

Pull Request - State: closed - Opened by favonia about 7 years ago

#35 - Should we enable `--caching` in every file?

Issue - State: closed - Opened by favonia about 7 years ago - 1 comment
Labels: enhancement, question

#35 - Should we enable `--caching` in every file?

Issue - State: closed - Opened by favonia about 7 years ago - 1 comment
Labels: enhancement, question

#34 - Fix type signature of concat

Pull Request - State: closed - Opened by vikraman about 7 years ago - 1 comment

#34 - Fix type signature of concat

Pull Request - State: closed - Opened by vikraman about 7 years ago - 1 comment

#33 - Fix cohomology.MayerVietorisExact.

Issue - State: open - Opened by favonia about 7 years ago

#33 - Fix cohomology.MayerVietorisExact.

Issue - State: open - Opened by favonia about 7 years ago

#32 - Use instance arguments for `has-level n`

Pull Request - State: closed - Opened by guillaumebrunerie over 7 years ago - 1 comment

#32 - Use instance arguments for `has-level n`

Pull Request - State: closed - Opened by guillaumebrunerie over 7 years ago - 1 comment

#31 - Remove warning about “empty abstract block.”

Pull Request - State: closed - Opened by pthariensflame over 7 years ago - 1 comment

#31 - Remove warning about “empty abstract block.”

Pull Request - State: closed - Opened by pthariensflame over 7 years ago - 1 comment

#30 - Finite cases of Conjecture 3.5.3 in favonia's thesis, stage 0.

Pull Request - State: closed - Opened by favonia over 7 years ago

#30 - Finite cases of Conjecture 3.5.3 in favonia's thesis, stage 0.

Pull Request - State: closed - Opened by favonia over 7 years ago

#29 - Add BAut types and two equivalent types of finite sets

Pull Request - State: closed - Opened by UlrikBuchholtz over 7 years ago - 3 comments

#29 - Add BAut types and two equivalent types of finite sets

Pull Request - State: closed - Opened by UlrikBuchholtz over 7 years ago - 3 comments

#28 - Compilation warning

Issue - State: closed - Opened by WojciechKarpiel over 7 years ago - 4 comments

#28 - Compilation warning

Issue - State: closed - Opened by WojciechKarpiel over 7 years ago - 4 comments

#27 - Agda 2.5.3 compatibility tracker

Issue - State: closed - Opened by favonia almost 8 years ago

#27 - Agda 2.5.3 compatibility tracker

Issue - State: closed - Opened by favonia almost 8 years ago

#26 - Update the HIT_README file for rewriting

Issue - State: open - Opened by ruhatch almost 8 years ago - 4 comments

#26 - Update the HIT_README file for rewriting

Issue - State: open - Opened by ruhatch almost 8 years ago - 4 comments

#25 - Update rewrite branch to work with latest development version of Agda 2.5.2

Pull Request - State: closed - Opened by jespercockx over 8 years ago - 7 comments

#25 - Update rewrite branch to work with latest development version of Agda 2.5.2

Pull Request - State: closed - Opened by jespercockx over 8 years ago - 7 comments

#24 - don't adjointify when composing equivalences

Pull Request - State: closed - Opened by mikeshulman over 8 years ago - 1 comment

#24 - don't adjointify when composing equivalences

Pull Request - State: closed - Opened by mikeshulman over 8 years ago - 1 comment

#23 - J and J' are exactly the same

Issue - State: closed - Opened by ptrcmd over 8 years ago - 1 comment

#23 - J and J' are exactly the same

Issue - State: closed - Opened by ptrcmd over 8 years ago - 1 comment

#22 - infix path composition not parsed correctly

Issue - State: open - Opened by mikeshulman over 8 years ago

#22 - infix path composition not parsed correctly

Issue - State: open - Opened by mikeshulman over 8 years ago

#21 - Agda 2.5.0 compatibility and literals for truncation levels

Issue - State: closed - Opened by favonia almost 9 years ago - 1 comment

#21 - Agda 2.5.0 compatibility and literals for truncation levels

Issue - State: closed - Opened by favonia almost 9 years ago - 1 comment

#20 - General precedence rule

Issue - State: closed - Opened by favonia almost 10 years ago - 2 comments

#20 - General precedence rule

Issue - State: closed - Opened by favonia almost 10 years ago - 2 comments

#19 - Spelling error

Pull Request - State: closed - Opened by pthariensflame about 10 years ago

#19 - Spelling error

Pull Request - State: closed - Opened by pthariensflame about 10 years ago

#18 - Set Quotients

Issue - State: closed - Opened by Saizan about 10 years ago - 2 comments

#18 - Set Quotients

Issue - State: closed - Opened by Saizan about 10 years ago - 2 comments

#17 - Type checking failure in lib/types/Flattening.agda

Issue - State: closed - Opened by imeckler over 10 years ago - 5 comments

#17 - Type checking failure in lib/types/Flattening.agda

Issue - State: closed - Opened by imeckler over 10 years ago - 5 comments

#16 - definition of ↓-='-in/↓-='-out

Issue - State: closed - Opened by ecavallo over 10 years ago - 1 comment
Labels: question

#16 - definition of ↓-='-in/↓-='-out

Issue - State: closed - Opened by ecavallo over 10 years ago - 1 comment
Labels: question

#15 - Update `index.agda`

Issue - State: closed - Opened by pthariensflame over 10 years ago - 1 comment

#15 - Update `index.agda`

Issue - State: closed - Opened by pthariensflame over 10 years ago - 1 comment

#14 - lib.types.Nat: export injectivity of S, close #12

Pull Request - State: closed - Opened by mikeshulman over 10 years ago - 1 comment

#14 - lib.types.Nat: export injectivity of S, close #12

Pull Request - State: closed - Opened by mikeshulman over 10 years ago - 1 comment

#13 - Add some lemmas

Pull Request - State: closed - Opened by mikeshulman over 10 years ago - 5 comments

#13 - Add some lemmas

Pull Request - State: closed - Opened by mikeshulman over 10 years ago - 5 comments

#12 - injectivity of successor

Issue - State: closed - Opened by mikeshulman over 10 years ago

#12 - injectivity of successor

Issue - State: closed - Opened by mikeshulman over 10 years ago

#11 - Small additions.

Pull Request - State: closed - Opened by sattlerc over 10 years ago - 2 comments

#11 - Small additions.

Pull Request - State: closed - Opened by sattlerc over 10 years ago - 2 comments

#10 - Upgrade to Agda 2.3.4

Issue - State: closed - Opened by favonia almost 11 years ago - 3 comments

#10 - Upgrade to Agda 2.3.4

Issue - State: closed - Opened by favonia almost 11 years ago - 3 comments

#9 - Allow compilation of index.agda under 2.3.2.2

Pull Request - State: closed - Opened by pthariensflame almost 11 years ago - 6 comments

#8 - simple transcription of Eckmann-Hilton argument (book 2.1.6)

Pull Request - State: closed - Opened by ystael almost 11 years ago - 7 comments

#7 - README should mention Agda should be run --without-K

Issue - State: closed - Opened by ezyang almost 11 years ago - 4 comments
Labels: enhancement

#6 - Development branch

Issue - State: closed - Opened by favonia about 11 years ago - 3 comments
Labels: question

#5 - Constructors of the same name confuse Agda

Issue - State: open - Opened by aerskine about 11 years ago - 6 comments

#4 - Rewrite of adjoint equivalence proofs

Pull Request - State: closed - Opened by imeckler over 11 years ago - 14 comments

#3 - 2.0

Pull Request - State: closed - Opened by sattlerc over 11 years ago - 2 comments

#2 - is this branch still being developed?

Pull Request - State: closed - Opened by sattlerc over 11 years ago - 3 comments

#1 - Minor improvements to version 1

Pull Request - State: closed - Opened by sattlerc over 11 years ago - 1 comment