Proprietário

agda

Entre para seguir

5 repositórios indexados · Ver no GitHub

Para iniciantes Tudo
Abertas Todas

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

  • Builtin imports fail with "COMPILE pragma not allowed in safe mode" when the data directory's `lib` or `lib/prim` is a symlink
    Aberta
    • Algo errado?

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

    agda/agda#8897 ·

    Mantenedores costumam responder em até 1 dia

  • Skipping compilation for up-to-date files results in mis-compilation
    Aberta
    • Algo errado?
    bug

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

    agda/agda2hs#486 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • `opaque unfolding` and `REWRITE` rules breaks subject reduction
    Aberta
    • Algo errado?
    confluence opaque subject reduction

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

    agda/agda#8893 · 4 comentários · 3 reações ·

    Mantenedores costumam responder em até 1 dia

  • Warning that has been turned off is reported
    Aberta
    • Algo errado?
    PR welcome type: bug ux: warnings

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

    agda/agda#8886 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • 2.8.0: slow "undefined" report
    Aberta
    • Algo errado?
    status: MWE needed

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

    agda/agda#8885 · 3 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Compare things with α-equivalence
    Aberta
    • Algo errado?
    bug

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

    agda/agda2hs#479 ·

    Mantenedores costumam responder em até 1 dia

  • Bulk hidden arguments
    Aberta
    • Algo errado?
    hidden arguments type: enhancement

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

    agda/agda#8872 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Support type operators in rewrite rules
    Aberta
    • Algo errado?
    enhancement

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

    agda/agda2hs#473 ·

    Mantenedores costumam responder em até 1 dia

  • `COMPILE to` definitions from `Haskell.*` modules
    Aberta
    • Algo errado?
    enhancement

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

    agda/agda2hs#472 · 1 reação ·

    Mantenedores costumam responder em até 1 dia

  • Compile abstract datatype/record
    Aberta
    • Algo errado?
    enhancement

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

    agda/agda2hs#471 · 1 reação ·

    Mantenedores costumam responder em até 1 dia

  • `haskell-src-exts` currently on life support
    Aberta
    • Algo errado?

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

    agda/agda2hs#468 ·

    Mantenedores costumam responder em até 1 dia

  • Opaque control from reflection API
    Aberta
    • Algo errado?
    opaque reflection type: enhancement

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

    agda/agda#8861 · 1 reação ·

    Mantenedores costumam responder em até 1 dia

  • Control over reduction during elaboration
    Aberta
    • Algo errado?
    performance type: discussion type: enhancement

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

    agda/agda#8860 · 4 comentários · 6 reações ·

    Mantenedores costumam responder em até 1 dia

  • macOS deploy broken (macos-26-arm64, image version 20261013.0424.1)
    Aberta
    • Algo errado?
    infra: github workflows upstream

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

    agda/agda#8845 · 5 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Macro defined in a module does not respect parameter binding
    Aberta
    • Algo errado?
    parameters reflection

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

    agda/agda#8844 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • When injectivity (constructor-headedness) leads to a hard error, can Agda communicate this?
    Aberta
    • Algo errado?
    injectivity type: enhancement ux: error reporting

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

    agda/agda#8814 ·

    Mantenedores costumam responder em até 1 dia

  • Improve "refine" interactive command: currently fails with more than 10 arguments
    Aberta
    • Algo errado?
    type: enhancement ux: interaction

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

    agda/agda#8813 ·

    Mantenedores costumam responder em até 1 dia

  • Better error reporting for failed meta instantiations
    Talvez livre de novo Aberta
    • Algo errado?
    meta ux: error reporting

    agda/agda#8796 · 1 reação · 1 responsável ·

    Mantenedores costumam responder em até 1 dia

  • `ClashesViaRenaming` too strict
    Aberta
    • Algo errado?
    difficulty: easy import ux: warnings

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

    agda/agda#8786 ·

    Mantenedores costumam responder em até 1 dia

  • Positivity checker loses information through module applications
    Talvez livre de novo Aberta
    • Algo errado?
    polarity positivity type: enhancement

    agda/agda#8773 · 1 comentário · 1 responsável ·

    Mantenedores costumam responder em até 1 dia

  • The strict GHC backend generates code that segfaults
    Aberta
    • Algo errado?
    backend: ghc ghc issue upstream

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

    agda/agda#8764 · 6 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Compare agda2hs to the GHC backend
    Aberta
    • Algo errado?
    backend: ghc performance

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

    agda/agda#8761 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Documentation: group pages in "Language Reference" by topic
    Aberta
    • Algo errado?
    type: enhancement ux: documentation

    Dificuldade 3/5 Meio dia Facilidade para iniciantes 35/100

    agda/agda#8760 · 1 comentário · 4 reações ·

    Mantenedores costumam responder em até 1 dia

  • Erasure-aware pattern matching
    Aberta
    • Algo errado?
    erasure language change pattern matching

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

    agda/agda#8758 ·

    Mantenedores costumam responder em até 1 dia

  • Quality-of-life improvements to opaque
    Aberta
    • Algo errado?
    opaque type: enhancement

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

    agda/agda#8757 · 3 reações ·

    Mantenedores costumam responder em até 1 dia

  • Strange bug w/ indexed HITs in --cubical
    Aberta
    • Algo errado?

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

    agda/agda#8753 · 3 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Associativity declarations for pre and post fix operators
    Aberta
    • Algo errado?
    operators type: discussion

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

    agda/agda#8750 · 6 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Should we allow λ with empty `where` block as absurd lambda?
    Aberta
    • Algo errado?
    absurd clauses parser type: enhancement

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

    agda/agda#8747 · 8 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Shiki highlighting: contribute Agda grammar
    Aberta
    • Algo errado?
    type: enhancement ux: highlighting

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

    agda/agda#8742 ·

    Mantenedores costumam responder em até 1 dia

  • JS backend does not check type of `main`
    Aberta
    • Algo errado?
    backend: js

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

    agda/agda#8741 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Refuse to compile unsupported `LitMeta` to JS
    Aberta
    • Algo errado?
    backend: js reflection

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

    agda/agda#8735 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • JS backend still removes some function parameters
    Aberta
    • Algo errado?
    backend: js erasure projection-like

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

    agda/agda#8734 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Cannot give in types of `variable`s
    Talvez livre de novo Aberta
    • Algo errado?
    generalize ux: interaction

    agda/agda#8728 · 1 responsável ·

    Mantenedores costumam responder em até 1 dia

  • Broken precondition in the termination checker
    Aberta
    • Algo errado?
    debug status: MWE needed termination

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

    agda/agda#8721 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • [Moderate fix] The internal type checker does not check the boundary conditions of cubical terms
    Aberta
    • Algo errado?
    cubical false with

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

    agda/agda#8689 · 4 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Option `-WerrorWarningName`
    Aberta
    • Algo errado?
    ux: options ux: warnings

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

    agda/agda#8684 · 4 comentários · 2 reações ·

    Mantenedores costumam responder em até 1 dia

  • GS-Monoidal categories
    Aberta
    • Algo errado?

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

    agda/agda-categories#547 · 1 comentário ·

  • Snippet causing Agda to loop
    Aberta
    • Algo errado?
    Agda loops workaround exists

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

    agda/agda#8641 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Remove odd syntax from Categories.Category.Construction.Core
    Talvez livre de novo Aberta
    • Algo errado?

    agda/agda-categories#536 · 1 responsável ·

  • findFile'': nubOn id does not resolve symlinks, causing false AmbiguousTopLevelModuleName
    Aberta
    • Algo errado?
    file system

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

    agda/agda#8608 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • When .agda and .agdai are updated on disk, highlighting is from the future
    Aberta
    • Algo errado?
    ux: emacs ux: highlighting

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

    agda/agda#8597 ·

    Mantenedores costumam responder em até 1 dia

  • A strange message about "unsolved" thing
    Aberta
    • Algo errado?
    meta type: enhancement ux: error reporting

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

    agda/agda#8595 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Make a release to match stdlib v2.4
    Talvez livre de novo Aberta
    • Algo errado?

    agda/agda-categories#529 · 1 responsável ·

  • Typechecking certain parametrized modules is much slower than expected
    Aberta
    • Algo errado?
    modules parameters performance

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

    agda/agda#8589 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Instance-search instances get inlined
    Aberta
    • Algo errado?
    enhancement

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

    agda/agda2hs#458 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • OOM with deep-matching / with(?)
    Aberta
    • Algo errado?
    performance status: duplicate with

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

    agda/agda#8582 · 2 comentários ·

    Mantenedores costumam responder em até 1 dia

  • agda2hs cannot compile Traversable instances defined with `traverse=_`
    Aberta
    • Algo errado?
    bug library

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

    agda/agda2hs#457 · 1 comentário ·

    Mantenedores costumam responder em até 1 dia

  • Inconsistency with univalence because of termination checker
    Aberta
    • Algo errado?
    cubical false termination type: bug univalence

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

    agda/agda#8572 ·

    Mantenedores costumam responder em até 1 dia

  • Proposal: allow `with` to give up
    Aberta
    • Algo errado?
    performance type: discussion with

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

    agda/agda#8571 · 4 comentários ·

    Mantenedores costumam responder em até 1 dia

  • Incorrect handling of simplicial sets and Kan complexes.
    Aberta
    • Algo errado?

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

    agda/agda-categories#526 · 1 comentário ·

Mostrando os 100 mais recentes

Esta página lista apenas o que foi indexado mais recentemente. O filtro avançado tem o inventário completo, refinado por linguagem, dificuldade e duração.

Abrir o filtro avançado

Receba novas issues na sua caixa de entrada

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