agda/agda2hs

Accedi per seguire Vedi su GitHub

Compiling Agda code to readable Haskell

agda/agda2hs è adatto ai principianti?

I maintainer di agda/agda2hs di solito rispondono a una pull request entro 1 giorno. Al momento non è aperta nessuna issue adatta ai principianti; l'elenco qui sotto mostra le altre issue che abbiamo per questo repository.

Stelle
211
Fork
51
Issue aperte per principianti
0
Issue indicizzate
67
Merge medio
1g 1h
PR unite (30g)
7
Lingua principale
Agda
Licenza
MIT
Ultimo push su GitHub
25/10/2026
Ultima indicizzazione
26/10/2026
Nessuna guida per i contributori
Nessun codice di condotta
Label per principianti
help wanted good first issue

Come contribuire a agda/agda2hs

  1. Non c'è una guida per contribuire: parti dal README e da alcune pull request accettate di recente per capire come si propongono le modifiche.
  2. I tuoi contributi saranno pubblicati con la licenza MIT del progetto.
  3. Segui il repository per sapere quando si apre una nuova issue adatta ai principianti, oppure guarda le altre issue qui sotto.
Adatte ai principianti Tutto
Aperta Tutte

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

  • Skipping compilation for up-to-date files results in mis-compilation
    Aperta
    • Qualcosa non va?
    bug

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100

    agda/agda2hs#486 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Compare things with α-equivalence
    Aperta
    • Qualcosa non va?
    bug

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 57/100

    agda/agda2hs#479 ·

    I maintainer di solito rispondono entro 1 giorno

  • Support type operators in rewrite rules
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 1-2 giorni Idoneità per principianti 45/100

    agda/agda2hs#473 ·

    I maintainer di solito rispondono entro 1 giorno

  • `COMPILE to` definitions from `Haskell.*` modules
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

    agda/agda2hs#472 · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Compile abstract datatype/record
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

    agda/agda2hs#471 · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • `haskell-src-exts` currently on life support
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#468 ·

    I maintainer di solito rispondono entro 1 giorno

  • Instance-search instances get inlined
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

    agda/agda2hs#458 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • agda2hs cannot compile Traversable instances defined with `traverse=_`
    Aperta
    • Qualcosa non va?
    bug library

    Difficoltà 4/5 1-2 giorni Idoneità per principianti 50/100

    agda/agda2hs#457 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Add support for TypeRep and Typeable
    Aperta
    • Qualcosa non va?
    enhancement library

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    agda/agda2hs#441 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Error "case_of_ must be fully applied to a lambda term in "Generate test-suite HTML" CI action
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    bug help wanted

    agda/agda2hs#436 · 1 commento · 1 assegnatario ·

    I maintainer di solito rispondono entro 1 giorno

  • Add functions from Control.Monad to the prelude
    Aperta
    • Qualcosa non va?
    enhancement library

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#434 ·

    I maintainer di solito rispondono entro 1 giorno

  • Monad, Applicative, Functor: Add equations for default definitions and superclass methods
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#411 · 1 commento · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • agda2hs locate doesn't work with the nix build
    Aperta
    • Qualcosa non va?
    nix

    Difficoltà 2/5 1-3 ore Idoneità per principianti 47/100

    agda/agda2hs#384 ·

    I maintainer di solito rispondono entro 1 giorno

  • agda2hs locate doesn't appear in the --help
    Aperta
    • Qualcosa non va?

    Difficoltà 1/5 Meno di un'ora Idoneità per principianti 39/100

    agda/agda2hs#383 ·

    I maintainer di solito rispondono entro 1 giorno

  • Incorrect transpilation of polymorphic `where` clauses
    Aperta
    • Qualcosa non va?
    error-reporting

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    agda/agda2hs#362 · 12 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Support `hiding` things from the prelude
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    agda/agda2hs#356 · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Compiling declared but not-yet-defined datatype silently generates no code
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    bug

    agda/agda2hs#346 · 1 commento · 1 assegnatario ·

    I maintainer di solito rispondono entro 1 giorno

  • Macro generates variable with out-of-scope name
    Aperta
    • Qualcosa non va?
    error-reporting

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    agda/agda2hs#344 ·

    I maintainer di solito rispondono entro 1 giorno

  • Address inconsistent style of typeclass laws
    Aperta
    • Qualcosa non va?
    enhancement library

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100

    agda/agda2hs#336 · 2 reazioni ·

    I maintainer di solito rispondono entro 1 giorno

  • Compile multiple arguments pattern lambda to multi-way lambda expressions
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    agda/agda2hs#335 ·

    I maintainer di solito rispondono entro 1 giorno

  • New `≡⟨_⟨` syntax for `≡˘⟨_⟩`?
    Aperta
    • Qualcosa non va?
    enhancement library

    Difficoltà 2/5 1-3 ore Idoneità per principianti 52/100

    agda/agda2hs#334 · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • `agda2hs` fails unless `agda` or `agda2hs` is run first
    Aperta
    • Qualcosa non va?
    bug

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    agda/agda2hs#322 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Better support for wrapping Haskell modules via `postulate`
    Aperta
    • Qualcosa non va?
    question

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#316 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Docs: add `syntax` trick to use Unicode instead of Haskell-compatible ASCII identifiers
    Aperta
    • Qualcosa non va?
    documentation enhancement

    Difficoltà 2/5 1-3 ore Idoneità per principianti 38/100

    agda/agda2hs#293 · 1 commento · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Add support for associated type families
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#288 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Support constructors in rewrite rules
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 37/100

    agda/agda2hs#283 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Agda internally eta-reduces when it shouldn't
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#275 ·

    I maintainer di solito rispondono entro 1 giorno

  • Consider using `ghc-source-gen`
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#274 ·

    I maintainer di solito rispondono entro 1 giorno

  • Check consistency of instances for unboxed records
    Aperta
    • Qualcosa non va?
    enhancement error-reporting help wanted

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100

    agda/agda2hs#269 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Add bindings for numeric typeclasses
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    enhancement good first issue library

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 34/100

    agda/agda2hs#262 · 4 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Rewrite construct
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    agda/agda2hs#256 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Views
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 22/100

    agda/agda2hs#255 ·

    I maintainer di solito rispondono entro 1 giorno

  • Interoperability between agda2hs and MAlonzo
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    agda/agda2hs#246 ·

    I maintainer di solito rispondono entro 1 giorno

  • Conformance testing of the agda2hs Prelude
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#245 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • bytestrings
    Aperta
    • Qualcosa non va?
    enhancement library

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#244 · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • GADTs
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 18/100

    agda/agda2hs#242 · 4 commenti · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Add support for deriving strategies
    Aperta
    • Qualcosa non va?
    enhancement good first issue help wanted

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    agda/agda2hs#231 · 2 commenti · 2 reazioni ·

    I maintainer di solito rispondono entro 1 giorno

  • Add support for let bindings and as patterns
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100

    agda/agda2hs#230 · 5 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Haskell-in-Agda: Agda propositions (e.g. `x ≡ y`) versus Haskell predicates (e.g. `(x == y) ≡ True`)
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    agda/agda2hs#227 · 4 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Make primitives in the prelude universe-polymorphic
    Aperta
    • Qualcosa non va?
    enhancement good first issue

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

    agda/agda2hs#221 ·

    I maintainer di solito rispondono entro 1 giorno

  • Add support for Data.Dynamic
    Aperta
    • Qualcosa non va?
    enhancement library

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#207 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Add support for rewrites to versions with different modality
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#190 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Generate documentation about pre- and post-conditions from Agda types of functions
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    agda/agda2hs#181 ·

    I maintainer di solito rispondono entro 1 giorno

  • Integration with SMT solvers through Schmitty
    Aperta
    • Qualcosa non va?
    enhancement help wanted

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#178 · 5 commenti · 2 reazioni ·

    I maintainer di solito rispondono entro 1 giorno

  • Automatic translation of Haskell to Agda
    Aperta
    • Qualcosa non va?
    enhancement help wanted

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

    agda/agda2hs#175 ·

    I maintainer di solito rispondono entro 1 giorno

  • Integrate agda2hs with cabal
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    agda/agda2hs#174 · 5 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Publish agda2hs as a library (in Hackage)
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    agda/agda2hs#172 ·

    I maintainer di solito rispondono entro 1 giorno

  • Compile invariants and postconditions to liquid haskell refinement types
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#166 · 1 commento · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Add support for equality constraints
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#140 ·

    I maintainer di solito rispondono entro 1 giorno

  • Support for strict Haskell
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    agda/agda2hs#137 ·

    I maintainer di solito rispondono entro 1 giorno

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.