Propietario

agda

Inicia sesión para seguir

5 repositorios indexados · Ver en GitHub

Para principiantes Todo
Abierto Todos

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

  • Builtin imports fail with "COMPILE pragma not allowed in safe mode" when the data directory's `lib` or `lib/prim` is a symlink
    Abierto
    • ¿Algo no está bien?

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

    agda/agda#8897 ·

    Los mantenedores suelen responder en 1 día

  • Skipping compilation for up-to-date files results in mis-compilation
    Abierto
    • ¿Algo no está bien?
    bug

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

    agda/agda2hs#486 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • `opaque unfolding` and `REWRITE` rules breaks subject reduction
    Abierto
    • ¿Algo no está bien?
    confluence opaque subject reduction

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

    agda/agda#8893 · 4 comentarios · 3 reacciones ·

    Los mantenedores suelen responder en 1 día

  • Warning that has been turned off is reported
    Abierto
    • ¿Algo no está bien?
    PR welcome type: bug ux: warnings

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

    agda/agda#8886 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • 2.8.0: slow "undefined" report
    Abierto
    • ¿Algo no está bien?
    status: MWE needed

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

    agda/agda#8885 · 3 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Compare things with α-equivalence
    Abierto
    • ¿Algo no está bien?
    bug

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

    agda/agda2hs#479 ·

    Los mantenedores suelen responder en 1 día

  • Bulk hidden arguments
    Abierto
    • ¿Algo no está bien?
    hidden arguments type: enhancement

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

    agda/agda#8872 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Support type operators in rewrite rules
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    agda/agda2hs#473 ·

    Los mantenedores suelen responder en 1 día

  • `COMPILE to` definitions from `Haskell.*` modules
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    agda/agda2hs#472 · 1 reacción ·

    Los mantenedores suelen responder en 1 día

  • Compile abstract datatype/record
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    agda/agda2hs#471 · 1 reacción ·

    Los mantenedores suelen responder en 1 día

  • `haskell-src-exts` currently on life support
    Abierto
    • ¿Algo no está bien?

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

    agda/agda2hs#468 ·

    Los mantenedores suelen responder en 1 día

  • Opaque control from reflection API
    Abierto
    • ¿Algo no está bien?
    opaque reflection type: enhancement

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

    agda/agda#8861 · 1 reacción ·

    Los mantenedores suelen responder en 1 día

  • Control over reduction during elaboration
    Abierto
    • ¿Algo no está bien?
    performance type: discussion type: enhancement

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

    agda/agda#8860 · 4 comentarios · 6 reacciones ·

    Los mantenedores suelen responder en 1 día

  • macOS deploy broken (macos-26-arm64, image version 20261013.0424.1)
    Abierto
    • ¿Algo no está bien?
    infra: github workflows upstream

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

    agda/agda#8845 · 5 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Macro defined in a module does not respect parameter binding
    Abierto
    • ¿Algo no está bien?
    parameters reflection

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

    agda/agda#8844 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • When injectivity (constructor-headedness) leads to a hard error, can Agda communicate this?
    Abierto
    • ¿Algo no está bien?
    injectivity type: enhancement ux: error reporting

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

    agda/agda#8814 ·

    Los mantenedores suelen responder en 1 día

  • Improve "refine" interactive command: currently fails with more than 10 arguments
    Abierto
    • ¿Algo no está bien?
    type: enhancement ux: interaction

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

    agda/agda#8813 ·

    Los mantenedores suelen responder en 1 día

  • Better error reporting for failed meta instantiations
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    meta ux: error reporting

    agda/agda#8796 · 1 reacción · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • `ClashesViaRenaming` too strict
    Abierto
    • ¿Algo no está bien?
    difficulty: easy import ux: warnings

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

    agda/agda#8786 ·

    Los mantenedores suelen responder en 1 día

  • Positivity checker loses information through module applications
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    polarity positivity type: enhancement

    agda/agda#8773 · 1 comentario · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • The strict GHC backend generates code that segfaults
    Abierto
    • ¿Algo no está bien?
    backend: ghc ghc issue upstream

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

    agda/agda#8764 · 6 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Compare agda2hs to the GHC backend
    Abierto
    • ¿Algo no está bien?
    backend: ghc performance

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

    agda/agda#8761 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Documentation: group pages in "Language Reference" by topic
    Abierto
    • ¿Algo no está bien?
    type: enhancement ux: documentation

    Dificultad 3/5 Medio día Aptitud para principiantes 35/100

    agda/agda#8760 · 1 comentario · 4 reacciones ·

    Los mantenedores suelen responder en 1 día

  • Erasure-aware pattern matching
    Abierto
    • ¿Algo no está bien?
    erasure language change pattern matching

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

    agda/agda#8758 ·

    Los mantenedores suelen responder en 1 día

  • Quality-of-life improvements to opaque
    Abierto
    • ¿Algo no está bien?
    opaque type: enhancement

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

    agda/agda#8757 · 3 reacciones ·

    Los mantenedores suelen responder en 1 día

  • Strange bug w/ indexed HITs in --cubical
    Abierto
    • ¿Algo no está bien?

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

    agda/agda#8753 · 3 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Associativity declarations for pre and post fix operators
    Abierto
    • ¿Algo no está bien?
    operators type: discussion

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

    agda/agda#8750 · 6 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Should we allow λ with empty `where` block as absurd lambda?
    Abierto
    • ¿Algo no está bien?
    absurd clauses parser type: enhancement

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

    agda/agda#8747 · 8 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Shiki highlighting: contribute Agda grammar
    Abierto
    • ¿Algo no está bien?
    type: enhancement ux: highlighting

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

    agda/agda#8742 ·

    Los mantenedores suelen responder en 1 día

  • JS backend does not check type of `main`
    Abierto
    • ¿Algo no está bien?
    backend: js

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

    agda/agda#8741 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Refuse to compile unsupported `LitMeta` to JS
    Abierto
    • ¿Algo no está bien?
    backend: js reflection

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

    agda/agda#8735 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • JS backend still removes some function parameters
    Abierto
    • ¿Algo no está bien?
    backend: js erasure projection-like

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

    agda/agda#8734 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Cannot give in types of `variable`s
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    generalize ux: interaction

    agda/agda#8728 · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • Broken precondition in the termination checker
    Abierto
    • ¿Algo no está bien?
    debug status: MWE needed termination

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

    agda/agda#8721 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • [Moderate fix] The internal type checker does not check the boundary conditions of cubical terms
    Abierto
    • ¿Algo no está bien?
    cubical false with

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

    agda/agda#8689 · 4 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Option `-WerrorWarningName`
    Abierto
    • ¿Algo no está bien?
    ux: options ux: warnings

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

    agda/agda#8684 · 4 comentarios · 2 reacciones ·

    Los mantenedores suelen responder en 1 día

  • GS-Monoidal categories
    Abierto
    • ¿Algo no está bien?

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

    agda/agda-categories#547 · 1 comentario ·

  • Snippet causing Agda to loop
    Abierto
    • ¿Algo no está bien?
    Agda loops workaround exists

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

    agda/agda#8641 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Remove odd syntax from Categories.Category.Construction.Core
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    agda/agda-categories#536 · 1 asignado ·

  • findFile'': nubOn id does not resolve symlinks, causing false AmbiguousTopLevelModuleName
    Abierto
    • ¿Algo no está bien?
    file system

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

    agda/agda#8608 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • When .agda and .agdai are updated on disk, highlighting is from the future
    Abierto
    • ¿Algo no está bien?
    ux: emacs ux: highlighting

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

    agda/agda#8597 ·

    Los mantenedores suelen responder en 1 día

  • A strange message about "unsolved" thing
    Abierto
    • ¿Algo no está bien?
    meta type: enhancement ux: error reporting

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

    agda/agda#8595 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Make a release to match stdlib v2.4
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    agda/agda-categories#529 · 1 asignado ·

  • Typechecking certain parametrized modules is much slower than expected
    Abierto
    • ¿Algo no está bien?
    modules parameters performance

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

    agda/agda#8589 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Instance-search instances get inlined
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    agda/agda2hs#458 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • OOM with deep-matching / with(?)
    Abierto
    • ¿Algo no está bien?
    performance status: duplicate with

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

    agda/agda#8582 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • agda2hs cannot compile Traversable instances defined with `traverse=_`
    Abierto
    • ¿Algo no está bien?
    bug library

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

    agda/agda2hs#457 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Inconsistency with univalence because of termination checker
    Abierto
    • ¿Algo no está bien?
    cubical false termination type: bug univalence

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

    agda/agda#8572 ·

    Los mantenedores suelen responder en 1 día

  • Proposal: allow `with` to give up
    Abierto
    • ¿Algo no está bien?
    performance type: discussion with

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

    agda/agda#8571 · 4 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Incorrect handling of simplicial sets and Kan complexes.
    Abierto
    • ¿Algo no está bien?

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

    agda/agda-categories#526 · 1 comentario ·

Mostrando los 100 más recientes

Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.

Abrir el filtro avanzado

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.