agda/agda2hs

可能已有人在做的 issue 排在最后。 全部按时间排序

• Skipping compilation for up-to-date files results in mis-compilation

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 3/5 1-2 天 新手友好度 52/100

  agda/agda2hs#486 · 2 条评论 · 2026年11月6日 创建

  维护者通常 1 天内回复

• Compare things with α-equivalence

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 3/5 1-2 天 新手友好度 57/100

  agda/agda2hs#479 · 2026年10月27日 创建

  维护者通常 1 天内回复

• Support type operators in rewrite rules

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 1-2 天 新手友好度 45/100

  agda/agda2hs#473 · 2026年10月22日 创建

  维护者通常 1 天内回复

• `COMPILE to` definitions from `Haskell.*` modules

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 48/100

  agda/agda2hs#472 · 1 个 reaction · 2026年10月22日 创建

  维护者通常 1 天内回复

• Compile abstract datatype/record

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 48/100

  agda/agda2hs#471 · 1 个 reaction · 2026年10月22日 创建

  维护者通常 1 天内回复

• `haskell-src-exts` currently on life support

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#468 · 2026年10月22日 创建

  维护者通常 1 天内回复

• Instance-search instances get inlined

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 45/100

  agda/agda2hs#458 · 2 条评论 · 2026年6月8日 创建

  维护者通常 1 天内回复

• agda2hs cannot compile Traversable instances defined with `traverse=_`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug library

  难度 4/5 1-2 天 新手友好度 50/100

  agda/agda2hs#457 · 1 条评论 · 2026年6月1日 创建

  维护者通常 1 天内回复

• Add support for TypeRep and Typeable

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement library

  难度 4/5 3-5 天 新手友好度 35/100

  agda/agda2hs#441 · 1 条评论 · 2025年11月17日 创建

  维护者通常 1 天内回复

• Error "case_of_ must be fully applied to a lambda term in "Generate test-suite HTML" CI action

  可能重新可做 @omelkonian 于 379 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug help wanted

  agda/agda2hs#436 · 1 条评论 · 已指派 1 人 · 2025年10月10日 创建

  维护者通常 1 天内回复

• Add functions from Control.Monad to the prelude

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement library

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#434 · 2025年10月7日 创建

  维护者通常 1 天内回复

• Monad, Applicative, Functor: Add equations for default definitions and superclass methods

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#411 · 1 条评论 · 1 个 reaction · 2025年5月22日 创建

  维护者通常 1 天内回复

• agda2hs locate doesn't work with the nix build

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  nix

  难度 2/5 1-3 小时 新手友好度 47/100

  agda/agda2hs#384 · 2024年12月18日 创建

  维护者通常 1 天内回复

• agda2hs locate doesn't appear in the --help

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 1/5 1 小时以内 新手友好度 39/100

  agda/agda2hs#383 · 2024年12月18日 创建

  维护者通常 1 天内回复

• Incorrect transpilation of polymorphic `where` clauses

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  error-reporting

  难度 4/5 3-5 天 新手友好度 35/100

  agda/agda2hs#362 · 12 条评论 · 2024年9月16日 创建

  维护者通常 1 天内回复

• Support `hiding` things from the prelude

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 35/100

  agda/agda2hs#356 · 1 个 reaction · 2024年9月2日 创建

  维护者通常 1 天内回复

• Compiling declared but not-yet-defined datatype silently generates no code

  可能重新可做 @jespercockx 于 472 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  agda/agda2hs#346 · 1 条评论 · 已指派 1 人 · 2024年7月27日 创建

  维护者通常 1 天内回复

• Macro generates variable with out-of-scope name

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  error-reporting

  难度 3/5 1-2 天 新手友好度 45/100

  agda/agda2hs#344 · 2024年7月26日 创建

  维护者通常 1 天内回复

• Address inconsistent style of typeclass laws

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement library

  难度 5/5 一周以上 新手友好度 28/100

  agda/agda2hs#336 · 2 个 reaction · 2024年6月28日 创建

  维护者通常 1 天内回复

• Compile multiple arguments pattern lambda to multi-way lambda expressions

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 35/100

  agda/agda2hs#335 · 2024年6月19日 创建

  维护者通常 1 天内回复

• New `≡⟨_⟨` syntax for `≡˘⟨_⟩`?

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement library

  难度 2/5 1-3 小时 新手友好度 52/100

  agda/agda2hs#334 · 1 个 reaction · 2024年6月11日 创建

  维护者通常 1 天内回复

• `agda2hs` fails unless `agda` or `agda2hs` is run first

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 4/5 3-5 天 新手友好度 35/100

  agda/agda2hs#322 · 2 条评论 · 2024年5月9日 创建

  维护者通常 1 天内回复

• Better support for wrapping Haskell modules via `postulate`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  question

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#316 · 2 条评论 · 2024年5月8日 创建

  维护者通常 1 天内回复

• Docs: add `syntax` trick to use Unicode instead of Haskell-compatible ASCII identifiers

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  documentation enhancement

  难度 2/5 1-3 小时 新手友好度 38/100

  agda/agda2hs#293 · 1 条评论 · 1 个 reaction · 2024年2月29日 创建

  维护者通常 1 天内回复

• Add support for associated type families

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#288 · 1 条评论 · 2024年2月23日 创建

  维护者通常 1 天内回复

• Support constructors in rewrite rules

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 37/100

  agda/agda2hs#283 · 2 条评论 · 2024年2月19日 创建

  维护者通常 1 天内回复

• Agda internally eta-reduces when it shouldn't

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#275 · 2024年2月9日 创建

  维护者通常 1 天内回复

• Consider using `ghc-source-gen`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#274 · 2024年1月30日 创建

  维护者通常 1 天内回复

• Check consistency of instances for unboxed records

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement error-reporting help wanted

  难度 5/5 一周以上 新手友好度 28/100

  agda/agda2hs#269 · 2 条评论 · 2024年1月20日 创建

  维护者通常 1 天内回复

• Add bindings for numeric typeclasses

  可能重新可做 @ndcroos 于 842 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement good first issue library

  难度 4/5 3-5 天 新手友好度 34/100

  agda/agda2hs#262 · 4 条评论 · 2024年1月15日 创建

  维护者通常 1 天内回复

• Rewrite construct

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 20/100

  agda/agda2hs#256 · 1 条评论 · 2023年12月21日 创建

  维护者通常 1 天内回复

• Views

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 22/100

  agda/agda2hs#255 · 2023年12月21日 创建

  维护者通常 1 天内回复

• Interoperability between agda2hs and MAlonzo

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 20/100

  agda/agda2hs#246 · 2023年12月7日 创建

  维护者通常 1 天内回复

• Conformance testing of the agda2hs Prelude

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#245 · 1 条评论 · 2023年12月7日 创建

  维护者通常 1 天内回复

• bytestrings

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement library

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#244 · 1 个 reaction · 2023年12月7日 创建

  维护者通常 1 天内回复

• GADTs

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 18/100

  agda/agda2hs#242 · 4 条评论 · 1 个 reaction · 2023年12月7日 创建

  维护者通常 1 天内回复

• Add support for deriving strategies

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement good first issue help wanted

  难度 4/5 3-5 天 新手友好度 35/100

  agda/agda2hs#231 · 2 条评论 · 2 个 reaction · 2023年11月15日 创建

  维护者通常 1 天内回复

• Add support for let bindings and as patterns

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 18/100

  agda/agda2hs#230 · 5 条评论 · 2023年11月15日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 20/100

  agda/agda2hs#227 · 4 条评论 · 2023年11月13日 创建

  维护者通常 1 天内回复

• Make primitives in the prelude universe-polymorphic

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement good first issue

  难度 5/5 一周以上 新手友好度 30/100

  agda/agda2hs#221 · 2023年11月9日 创建

  维护者通常 1 天内回复

• Add support for Data.Dynamic

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement library

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#207 · 2 条评论 · 2023年10月18日 创建

  维护者通常 1 天内回复

• Add support for rewrites to versions with different modality

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#190 · 2 条评论 · 2023年7月20日 创建

  维护者通常 1 天内回复

• Generate documentation about pre- and post-conditions from Agda types of functions

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 20/100

  agda/agda2hs#181 · 2023年6月29日 创建

  维护者通常 1 天内回复

• Integration with SMT solvers through Schmitty

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement help wanted

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#178 · 5 条评论 · 2 个 reaction · 2023年6月20日 创建

  维护者通常 1 天内回复

• Automatic translation of Haskell to Agda

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement help wanted

  难度 5/5 一周以上 新手友好度 15/100

  agda/agda2hs#175 · 2023年5月11日 创建

  维护者通常 1 天内回复

• Integrate agda2hs with cabal

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 20/100

  agda/agda2hs#174 · 5 条评论 · 2023年5月11日 创建

  维护者通常 1 天内回复

• Publish agda2hs as a library (in Hackage)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 20/100

  agda/agda2hs#172 · 2023年4月21日 创建

  维护者通常 1 天内回复

• Compile invariants and postconditions to liquid haskell refinement types

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#166 · 1 条评论 · 1 个 reaction · 2023年3月31日 创建

  维护者通常 1 天内回复

• Add support for equality constraints

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#140 · 2023年2月21日 创建

  维护者通常 1 天内回复

• Support for strict Haskell

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  agda/agda2hs#137 · 2023年2月17日 创建

  维护者通常 1 天内回复