Propietario

samtoth

Inicia sesión para seguir

1 repositorio indexado · Ver en GitHub

Para principiantes Todo
Abierto Todos

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

  • Add references to results presented in Sam's bachelor's project
    Abierto
    • ¿Algo no está bien?
    Synthetic

    Dificultad 1/5 Menos de una hora Aptitud para principiantes 66/100

    samtoth/agda-synthetic-categories#373 ·

    Los mantenedores suelen responder en 1 día

  • Use `--double-check` flag?
    Abierto
    • ¿Algo no está bien?
    question

    Dificultad 4/5 3-5 días Aptitud para principiantes 15/100

    samtoth/agda-synthetic-categories#369 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Split up Core.Orthogonality
    Abierto
    • ¿Algo no está bien?
    chore

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    samtoth/agda-synthetic-categories#367 · 1 reacción ·

    Los mantenedores suelen responder en 1 día

  • Enable unused imports warning
    Abierto
    • ¿Algo no está bien?

    Dificultad 2/5 1-3 horas Aptitud para principiantes 57/100

    samtoth/agda-synthetic-categories#364 ·

    Los mantenedores suelen responder en 1 día

  • Forester 6 migration
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

    samtoth/agda-synthetic-categories#360 · 2 comentarios · 1 reacción ·

    Los mantenedores suelen responder en 1 día

  • Prove the dependent pullback property of pushouts
    Abierto
    • ¿Algo no está bien?
    good first issue

    Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

    samtoth/agda-synthetic-categories#356 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Move agda pin to avoid cohesion collapse
    Abierto
    • ¿Algo no está bien?

    Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

    samtoth/agda-synthetic-categories#349 · 1 comentario · 1 reacción ·

    Los mantenedores suelen responder en 1 día

  • Projectivity
    Abierto
    • ¿Algo no está bien?
    good first issue Modalities

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#344 ·

    Los mantenedores suelen responder en 1 día

  • Agda input mode in the web search bar
    Abierto
    • ¿Algo no está bien?
    enhancement web

    Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

    samtoth/agda-synthetic-categories#342 ·

    Los mantenedores suelen responder en 1 día

  • Check for invalid links
    Abierto
    • ¿Algo no está bien?
    infrastructure

    Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

    samtoth/agda-synthetic-categories#338 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Deduplicate duals
    Abierto
    • ¿Algo no está bien?
    Synthetic

    Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

    samtoth/agda-synthetic-categories#330 · 8 comentarios ·

    Los mantenedores suelen responder en 1 día

  • The dependent universal property of colimits follows from the non-dependent universal property
    Abierto
    • ¿Algo no está bien?
    good first issue

    Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

    samtoth/agda-synthetic-categories#327 ·

    Los mantenedores suelen responder en 1 día

  • Split up category modules
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    samtoth/agda-synthetic-categories#323 ·

    Los mantenedores suelen responder en 1 día

  • Show code on macro pages
    Abierto
    • ¿Algo no está bien?
    enhancement web

    Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

    samtoth/agda-synthetic-categories#316 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Add simplex-hen favicon
    Abierto
    • ¿Algo no está bien?
    web

    Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

    samtoth/agda-synthetic-categories#308 · 4 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Change name of ∂Δ¹
    Abierto
    • ¿Algo no está bien?
    Synthetic

    Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

    samtoth/agda-synthetic-categories#307 ·

    Los mantenedores suelen responder en 1 día

  • Autoformatter
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    documentation infrastructure

    samtoth/agda-synthetic-categories#299 · 1 comentario · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • Nix build should use Makefile
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    infrastructure

    Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

    samtoth/agda-synthetic-categories#296 ·

    Los mantenedores suelen responder en 1 día

  • Stable orthogonal factorisation systems
    Abierto
    • ¿Algo no está bien?
    Modalities

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#288 ·

    Los mantenedores suelen responder en 1 día

  • Define 𝑛-coskeletal types
    Abierto
    • ¿Algo no está bien?
    good first issue Synthetic

    Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

    samtoth/agda-synthetic-categories#266 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Marker macro for equivalences
    Abierto
    • ¿Algo no está bien?
    macro

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#263 ·

    Los mantenedores suelen responder en 1 día

  • Tie up "Space is Segal" loose ends
    Abierto
    • ¿Algo no está bien?
    Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

    samtoth/agda-synthetic-categories#256 ·

    Los mantenedores suelen responder en 1 día

  • Renaming certain lattice constructions
    Abierto
    • ¿Algo no está bien?
    Algebra

    Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

    samtoth/agda-synthetic-categories#255 ·

    Los mantenedores suelen responder en 1 día

  • Find a consistent naming scheme for diagrams and such
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

    samtoth/agda-synthetic-categories#250 · 4 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Person pages should be dated
    Abierto
    • ¿Algo no está bien?
    documentation web

    Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100

    samtoth/agda-synthetic-categories#224 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Localisations of synthetic categories
    Abierto
    • ¿Algo no está bien?
    good first issue Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#198 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Finitely generated free 𝕀-algebras are quasicoherent
    Abierto
    • ¿Algo no está bien?
    Algebra good first issue

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#196 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Equivalence between quasi-coherence and the generalised Phoa's principle
    Abierto
    • ¿Algo no está bien?
    Algebra good first issue

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#195 · 3 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Closure of left orthogonal maps under pushouts in the arrow category
    Abierto
    • ¿Algo no está bien?
    good first issue UnivalentFoundations

    Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

    samtoth/agda-synthetic-categories#194 ·

    Los mantenedores suelen responder en 1 día

  • "Think discretely, act functorially"
    Abierto
    • ¿Algo no está bien?
    Modalities.Cohesion Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

    samtoth/agda-synthetic-categories#193 ·

    Los mantenedores suelen responder en 1 día

  • Structure homomorphism principle
    Abierto
    • ¿Algo no está bien?
    good first issue Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

    samtoth/agda-synthetic-categories#191 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Parametricity of 𝒮
    Abierto
    • ¿Algo no está bien?
    good first issue Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#189 ·

    Los mantenedores suelen responder en 1 día

  • Δⁿ is a category
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    good first issue Synthetic.Categories

    samtoth/agda-synthetic-categories#188 · 1 comentario · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • License the project
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

    samtoth/agda-synthetic-categories#182 ·

    Los mantenedores suelen responder en 1 día

  • Show the representing split morphism represents split morphisms
    Abierto
    • ¿Algo no está bien?
    Synthetic.Categories

    Dificultad 4/5 3-5 días Aptitud para principiantes 43/100

    samtoth/agda-synthetic-categories#162 ·

    Los mantenedores suelen responder en 1 día

  • Wedge sum as pushout product
    Abierto
    • ¿Algo no está bien?
    good first issue UnivalentFoundations

    Dificultad 4/5 1-2 días Aptitud para principiantes 48/100

    samtoth/agda-synthetic-categories#161 ·

    Los mantenedores suelen responder en 1 día

  • Generalising accessible infinity categories
    Abierto
    • ¿Algo no está bien?
    Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100

    samtoth/agda-synthetic-categories#159 ·

    Los mantenedores suelen responder en 1 día

  • Make type argument for `Hom` implicit
    Abierto
    • ¿Algo no está bien?
    chore

    Dificultad 2/5 1-3 horas Aptitud para principiantes 52/100

    samtoth/agda-synthetic-categories#153 ·

    Los mantenedores suelen responder en 1 día

  • Define split factorisation systems
    Abierto
    • ¿Algo no está bien?
    Modalities UnivalentFoundations

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#150 ·

    Los mantenedores suelen responder en 1 día

  • Clean up imports section of `Synthetic` modules
    Abierto
    • ¿Algo no está bien?
    chore

    Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

    samtoth/agda-synthetic-categories#141 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Make library ""safe""
    Abierto
    • ¿Algo no está bien?
    Axioms

    Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

    samtoth/agda-synthetic-categories#134 ·

    Los mantenedores suelen responder en 1 día

  • Emacs cannot load agda within nix-shell environment
    Abierto
    • ¿Algo no está bien?
    bug

    Dificultad 4/5 1-2 días Aptitud para principiantes 43/100

    samtoth/agda-synthetic-categories#129 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Get rid of postulates
    Abierto
    • ¿Algo no está bien?
    Axioms enhancement question

    Dificultad 5/5 Más de una semana Aptitud para principiantes 32/100

    samtoth/agda-synthetic-categories#123 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Cofinal/left anodyne maps
    Abierto
    • ¿Algo no está bien?
    Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#117 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Show the universe of Spaces is a category
    Abierto
    • ¿Algo no está bien?
    Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100

    samtoth/agda-synthetic-categories#116 ·

    Los mantenedores suelen responder en 1 día

  • Get rid of user-side `forester` dependency
    Abierto
    • ¿Algo no está bien?
    enhancement

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#114 · 8 comentarios ·

    Los mantenedores suelen responder en 1 día

  • No naïve universe of synthetic categories is Segal
    Abierto
    • ¿Algo no está bien?
    Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

    samtoth/agda-synthetic-categories#111 ·

    Los mantenedores suelen responder en 1 día

  • Adjunction infrastructure
    Abierto
    • ¿Algo no está bien?
    good first issue Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

    samtoth/agda-synthetic-categories#110 ·

    Los mantenedores suelen responder en 1 día

  • (Co)cartesian fibrations
    Abierto
    • ¿Algo no está bien?
    Synthetic.Categories

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    samtoth/agda-synthetic-categories#109 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Render unicode in browser tab title
    Abierto
    • ¿Algo no está bien?
    bug web

    Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

    samtoth/agda-synthetic-categories#106 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.