Proprietário

samtoth

Entre para seguir

1 repositório indexado · Ver no GitHub

Para iniciantes Tudo
Abertas Todas

Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data

  • Add references to results presented in Sam's bachelor's project
    Aberta
    • Algo errado?
    Synthetic

    Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 66/100

    samtoth/agda-synthetic-categories#373 ·

    Mantenedores costumam responder em até 1 dia

  • Use `--double-check` flag?
    Aberta
    • Algo errado?
    question

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 15/100

    samtoth/agda-synthetic-categories#369 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Split up Core.Orthogonality
    Aberta
    • Algo errado?
    chore

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    samtoth/agda-synthetic-categories#367 · 1 reação ·

    Mantenedores costumam responder em até 1 dia

  • Enable unused imports warning
    Aberta
    • Algo errado?

    Dificuldade 2/5 1-3 horas Facilidade para iniciantes 57/100

    samtoth/agda-synthetic-categories#364 ·

    Mantenedores costumam responder em até 1 dia

  • Forester 6 migration
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100

    samtoth/agda-synthetic-categories#360 · 2 comentários · 1 reação ·

    Mantenedores costumam responder em até 1 dia

  • Prove the dependent pullback property of pushouts
    Aberta
    • Algo errado?
    good first issue

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

    samtoth/agda-synthetic-categories#356 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Move agda pin to avoid cohesion collapse
    Aberta
    • Algo errado?

    Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100

    samtoth/agda-synthetic-categories#349 · 1 comentário · 1 reação ·

    Mantenedores costumam responder em até 1 dia

  • Projectivity
    Aberta
    • Algo errado?
    good first issue Modalities

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#344 ·

    Mantenedores costumam responder em até 1 dia

  • Agda input mode in the web search bar
    Aberta
    • Algo errado?
    enhancement web

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

    samtoth/agda-synthetic-categories#342 ·

    Mantenedores costumam responder em até 1 dia

  • Check for invalid links
    Aberta
    • Algo errado?
    infrastructure

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 55/100

    samtoth/agda-synthetic-categories#338 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Deduplicate duals
    Aberta
    • Algo errado?
    Synthetic

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

    samtoth/agda-synthetic-categories#330 · 8 comentários ·

    Mantenedores costumam responder em até 1 dia

  • The dependent universal property of colimits follows from the non-dependent universal property
    Aberta
    • Algo errado?
    good first issue

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

    samtoth/agda-synthetic-categories#327 ·

    Mantenedores costumam responder em até 1 dia

  • Split up category modules
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    samtoth/agda-synthetic-categories#323 ·

    Mantenedores costumam responder em até 1 dia

  • Show code on macro pages
    Aberta
    • Algo errado?
    enhancement web

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 55/100

    samtoth/agda-synthetic-categories#316 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Add simplex-hen favicon
    Aberta
    • Algo errado?
    web

    Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100

    samtoth/agda-synthetic-categories#308 · 4 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Change name of ∂Δ¹
    Aberta
    • Algo errado?
    Synthetic

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100

    samtoth/agda-synthetic-categories#307 ·

    Mantenedores costumam responder em até 1 dia

  • Autoformatter
    Talvez livre de novo Aberta
    • Algo errado?
    documentation infrastructure

    samtoth/agda-synthetic-categories#299 · 1 comentário · 1 responsável ·

    Mantenedores costumam responder em até 1 dia

  • Nix build should use Makefile
    Talvez livre de novo Aberta
    • Algo errado?
    infrastructure

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

    samtoth/agda-synthetic-categories#296 ·

    Mantenedores costumam responder em até 1 dia

  • Stable orthogonal factorisation systems
    Aberta
    • Algo errado?
    Modalities

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#288 ·

    Mantenedores costumam responder em até 1 dia

  • Define 𝑛-coskeletal types
    Aberta
    • Algo errado?
    good first issue Synthetic

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 55/100

    samtoth/agda-synthetic-categories#266 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Marker macro for equivalences
    Aberta
    • Algo errado?
    macro

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#263 ·

    Mantenedores costumam responder em até 1 dia

  • Tie up "Space is Segal" loose ends
    Aberta
    • Algo errado?
    Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 30/100

    samtoth/agda-synthetic-categories#256 ·

    Mantenedores costumam responder em até 1 dia

  • Renaming certain lattice constructions
    Aberta
    • Algo errado?
    Algebra

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

    samtoth/agda-synthetic-categories#255 ·

    Mantenedores costumam responder em até 1 dia

  • Find a consistent naming scheme for diagrams and such
    Aberta
    • Algo errado?
    documentation

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 30/100

    samtoth/agda-synthetic-categories#250 · 4 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Person pages should be dated
    Aberta
    • Algo errado?
    documentation web

    Dificuldade 2/5 1-3 horas Facilidade para iniciantes 55/100

    samtoth/agda-synthetic-categories#224 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Localisations of synthetic categories
    Aberta
    • Algo errado?
    good first issue Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#198 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Finitely generated free 𝕀-algebras are quasicoherent
    Aberta
    • Algo errado?
    Algebra good first issue

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#196 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Equivalence between quasi-coherence and the generalised Phoa's principle
    Aberta
    • Algo errado?
    Algebra good first issue

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#195 · 3 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Closure of left orthogonal maps under pushouts in the arrow category
    Aberta
    • Algo errado?
    good first issue UnivalentFoundations

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

    samtoth/agda-synthetic-categories#194 ·

    Mantenedores costumam responder em até 1 dia

  • "Think discretely, act functorially"
    Aberta
    • Algo errado?
    Modalities.Cohesion Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

    samtoth/agda-synthetic-categories#193 ·

    Mantenedores costumam responder em até 1 dia

  • Structure homomorphism principle
    Aberta
    • Algo errado?
    good first issue Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

    samtoth/agda-synthetic-categories#191 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Parametricity of 𝒮
    Aberta
    • Algo errado?
    good first issue Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#189 ·

    Mantenedores costumam responder em até 1 dia

  • Δⁿ is a category
    Talvez livre de novo Aberta
    • Algo errado?
    good first issue Synthetic.Categories

    samtoth/agda-synthetic-categories#188 · 1 comentário · 1 responsável ·

    Mantenedores costumam responder em até 1 dia

  • License the project
    Aberta
    • Algo errado?
    documentation

    Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100

    samtoth/agda-synthetic-categories#182 ·

    Mantenedores costumam responder em até 1 dia

  • Show the representing split morphism represents split morphisms
    Aberta
    • Algo errado?
    Synthetic.Categories

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 43/100

    samtoth/agda-synthetic-categories#162 ·

    Mantenedores costumam responder em até 1 dia

  • Wedge sum as pushout product
    Aberta
    • Algo errado?
    good first issue UnivalentFoundations

    Dificuldade 4/5 1-2 dias Facilidade para iniciantes 48/100

    samtoth/agda-synthetic-categories#161 ·

    Mantenedores costumam responder em até 1 dia

  • Generalising accessible infinity categories
    Aberta
    • Algo errado?
    Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 18/100

    samtoth/agda-synthetic-categories#159 ·

    Mantenedores costumam responder em até 1 dia

  • Make type argument for `Hom` implicit
    Aberta
    • Algo errado?
    chore

    Dificuldade 2/5 1-3 horas Facilidade para iniciantes 52/100

    samtoth/agda-synthetic-categories#153 ·

    Mantenedores costumam responder em até 1 dia

  • Define split factorisation systems
    Aberta
    • Algo errado?
    Modalities UnivalentFoundations

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#150 ·

    Mantenedores costumam responder em até 1 dia

  • Clean up imports section of `Synthetic` modules
    Aberta
    • Algo errado?
    chore

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100

    samtoth/agda-synthetic-categories#141 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Make library ""safe""
    Aberta
    • Algo errado?
    Axioms

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

    samtoth/agda-synthetic-categories#134 ·

    Mantenedores costumam responder em até 1 dia

  • Emacs cannot load agda within nix-shell environment
    Aberta
    • Algo errado?
    bug

    Dificuldade 4/5 1-2 dias Facilidade para iniciantes 43/100

    samtoth/agda-synthetic-categories#129 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Get rid of postulates
    Aberta
    • Algo errado?
    Axioms enhancement question

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 32/100

    samtoth/agda-synthetic-categories#123 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Cofinal/left anodyne maps
    Aberta
    • Algo errado?
    Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#117 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Show the universe of Spaces is a category
    Aberta
    • Algo errado?
    Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 28/100

    samtoth/agda-synthetic-categories#116 ·

    Mantenedores costumam responder em até 1 dia

  • Get rid of user-side `forester` dependency
    Aberta
    • Algo errado?
    enhancement

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#114 · 8 comentários ·

    Mantenedores costumam responder em até 1 dia

  • No naïve universe of synthetic categories is Segal
    Aberta
    • Algo errado?
    Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

    samtoth/agda-synthetic-categories#111 ·

    Mantenedores costumam responder em até 1 dia

  • Adjunction infrastructure
    Aberta
    • Algo errado?
    good first issue Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

    samtoth/agda-synthetic-categories#110 ·

    Mantenedores costumam responder em até 1 dia

  • (Co)cartesian fibrations
    Aberta
    • Algo errado?
    Synthetic.Categories

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    samtoth/agda-synthetic-categories#109 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Render unicode in browser tab title
    Aberta
    • Algo errado?
    bug web

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

    samtoth/agda-synthetic-categories#106 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.