agda/agda2hs

ログインしてフォロー GitHub で見る

Compiling Agda code to readable Haskell

agda/agda2hs は初心者に優しい？

agda/agda2hs のメンテナーはふだん 1 日以内に PR へ返信します。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。

スター
211
フォーク
51
オープンの初心者向け issue
0
索引済み issue
67
平均マージ
1日 1時間
マージ済み PR（30日）
7
主要言語
Agda
ライセンス
MIT
最終 GitHub push
2026年10月25日
最新の索引
2026年10月26日
コントリビューションガイドがありません
行動規範がありません
初心者向けラベル
help wanted good first issue

agda/agda2hs にコントリビュートするには

  1. コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
  2. あなたのコントリビュートはプロジェクトの MIT ライセンスで公開されます。
  3. リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
初心者向け すべて
オープン すべて

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

  • Skipping compilation for up-to-date files results in mis-compilation
    オープン
    • 何か問題がありますか？
    bug

    難易度 3/5 1〜2日 初心者へのやさしさ 52/100

    agda/agda2hs#486 · コメント 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Compare things with α-equivalence
    オープン
    • 何か問題がありますか？
    bug

    難易度 3/5 1〜2日 初心者へのやさしさ 57/100

    agda/agda2hs#479 ·

    メンテナーはふだん 1 日以内に返信

  • Support type operators in rewrite rules
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 1〜2日 初心者へのやさしさ 45/100

    agda/agda2hs#473 ·

    メンテナーはふだん 1 日以内に返信

  • `COMPILE to` definitions from `Haskell.*` modules
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 48/100

    agda/agda2hs#472 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Compile abstract datatype/record
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 48/100

    agda/agda2hs#471 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • `haskell-src-exts` currently on life support
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#468 ·

    メンテナーはふだん 1 日以内に返信

  • Instance-search instances get inlined
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 45/100

    agda/agda2hs#458 · コメント 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • agda2hs cannot compile Traversable instances defined with `traverse=_`
    オープン
    • 何か問題がありますか？
    bug library

    難易度 4/5 1〜2日 初心者へのやさしさ 50/100

    agda/agda2hs#457 · コメント 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Add support for TypeRep and Typeable
    オープン
    • 何か問題がありますか？
    enhancement library

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2hs#441 · コメント 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Error "case_of_ must be fully applied to a lambda term in "Generate test-suite HTML" CI action
    再び着手できるかも オープン
    • 何か問題がありますか？
    bug help wanted

    agda/agda2hs#436 · コメント 1 件 · 担当者 1 名 ·

    メンテナーはふだん 1 日以内に返信

  • Add functions from Control.Monad to the prelude
    オープン
    • 何か問題がありますか？
    enhancement library

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#434 ·

    メンテナーはふだん 1 日以内に返信

  • Monad, Applicative, Functor: Add equations for default definitions and superclass methods
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#411 · コメント 1 件 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • agda2hs locate doesn't work with the nix build
    オープン
    • 何か問題がありますか？
    nix

    難易度 2/5 1〜3時間 初心者へのやさしさ 47/100

    agda/agda2hs#384 ·

    メンテナーはふだん 1 日以内に返信

  • agda2hs locate doesn't appear in the --help
    オープン
    • 何か問題がありますか？

    難易度 1/5 1時間未満 初心者へのやさしさ 39/100

    agda/agda2hs#383 ·

    メンテナーはふだん 1 日以内に返信

  • Incorrect transpilation of polymorphic `where` clauses
    オープン
    • 何か問題がありますか？
    error-reporting

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2hs#362 · コメント 12 件 ·

    メンテナーはふだん 1 日以内に返信

  • Support `hiding` things from the prelude
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2hs#356 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Compiling declared but not-yet-defined datatype silently generates no code
    再び着手できるかも オープン
    • 何か問題がありますか？
    bug

    agda/agda2hs#346 · コメント 1 件 · 担当者 1 名 ·

    メンテナーはふだん 1 日以内に返信

  • Macro generates variable with out-of-scope name
    オープン
    • 何か問題がありますか？
    error-reporting

    難易度 3/5 1〜2日 初心者へのやさしさ 45/100

    agda/agda2hs#344 ·

    メンテナーはふだん 1 日以内に返信

  • Address inconsistent style of typeclass laws
    オープン
    • 何か問題がありますか？
    enhancement library

    難易度 5/5 1週間以上 初心者へのやさしさ 28/100

    agda/agda2hs#336 · リアクション 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Compile multiple arguments pattern lambda to multi-way lambda expressions
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2hs#335 ·

    メンテナーはふだん 1 日以内に返信

  • New `≡⟨_⟨` syntax for `≡˘⟨_⟩`?
    オープン
    • 何か問題がありますか？
    enhancement library

    難易度 2/5 1〜3時間 初心者へのやさしさ 52/100

    agda/agda2hs#334 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • `agda2hs` fails unless `agda` or `agda2hs` is run first
    オープン
    • 何か問題がありますか？
    bug

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2hs#322 · コメント 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Better support for wrapping Haskell modules via `postulate`
    オープン
    • 何か問題がありますか？
    question

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#316 · コメント 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Docs: add `syntax` trick to use Unicode instead of Haskell-compatible ASCII identifiers
    オープン
    • 何か問題がありますか？
    documentation enhancement

    難易度 2/5 1〜3時間 初心者へのやさしさ 38/100

    agda/agda2hs#293 · コメント 1 件 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Add support for associated type families
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#288 · コメント 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Support constructors in rewrite rules
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 37/100

    agda/agda2hs#283 · コメント 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Agda internally eta-reduces when it shouldn't
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#275 ·

    メンテナーはふだん 1 日以内に返信

  • Consider using `ghc-source-gen`
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#274 ·

    メンテナーはふだん 1 日以内に返信

  • Check consistency of instances for unboxed records
    オープン
    • 何か問題がありますか？
    enhancement error-reporting help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 28/100

    agda/agda2hs#269 · コメント 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Add bindings for numeric typeclasses
    再び着手できるかも オープン
    • 何か問題がありますか？
    enhancement good first issue library

    難易度 4/5 3〜5日 初心者へのやさしさ 34/100

    agda/agda2hs#262 · コメント 4 件 ·

    メンテナーはふだん 1 日以内に返信

  • Rewrite construct
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    agda/agda2hs#256 · コメント 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Views
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 22/100

    agda/agda2hs#255 ·

    メンテナーはふだん 1 日以内に返信

  • Interoperability between agda2hs and MAlonzo
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    agda/agda2hs#246 ·

    メンテナーはふだん 1 日以内に返信

  • Conformance testing of the agda2hs Prelude
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#245 · コメント 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • bytestrings
    オープン
    • 何か問題がありますか？
    enhancement library

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#244 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • GADTs
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 18/100

    agda/agda2hs#242 · コメント 4 件 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Add support for deriving strategies
    オープン
    • 何か問題がありますか？
    enhancement good first issue help wanted

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2hs#231 · コメント 2 件 · リアクション 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Add support for let bindings and as patterns
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 18/100

    agda/agda2hs#230 · コメント 5 件 ·

    メンテナーはふだん 1 日以内に返信

  • Haskell-in-Agda: Agda propositions (e.g. `x ≡ y`) versus Haskell predicates (e.g. `(x == y) ≡ True`)
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    agda/agda2hs#227 · コメント 4 件 ·

    メンテナーはふだん 1 日以内に返信

  • Make primitives in the prelude universe-polymorphic
    オープン
    • 何か問題がありますか？
    enhancement good first issue

    難易度 5/5 1週間以上 初心者へのやさしさ 30/100

    agda/agda2hs#221 ·

    メンテナーはふだん 1 日以内に返信

  • Add support for Data.Dynamic
    オープン
    • 何か問題がありますか？
    enhancement library

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#207 · コメント 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Add support for rewrites to versions with different modality
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#190 · コメント 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Generate documentation about pre- and post-conditions from Agda types of functions
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    agda/agda2hs#181 ·

    メンテナーはふだん 1 日以内に返信

  • Integration with SMT solvers through Schmitty
    オープン
    • 何か問題がありますか？
    enhancement help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#178 · コメント 5 件 · リアクション 2 件 ·

    メンテナーはふだん 1 日以内に返信

  • Automatic translation of Haskell to Agda
    オープン
    • 何か問題がありますか？
    enhancement help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 15/100

    agda/agda2hs#175 ·

    メンテナーはふだん 1 日以内に返信

  • Integrate agda2hs with cabal
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    agda/agda2hs#174 · コメント 5 件 ·

    メンテナーはふだん 1 日以内に返信

  • Publish agda2hs as a library (in Hackage)
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    agda/agda2hs#172 ·

    メンテナーはふだん 1 日以内に返信

  • Compile invariants and postconditions to liquid haskell refinement types
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#166 · コメント 1 件 · リアクション 1 件 ·

    メンテナーはふだん 1 日以内に返信

  • Add support for equality constraints
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#140 ·

    メンテナーはふだん 1 日以内に返信

  • Support for strict Haskell
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2hs#137 ·

    メンテナーはふだん 1 日以内に返信

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。