Skip to content

Issues: agda/agda2hs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

63 Open 124 Closed
63 Open 124 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add predecessor for natural numbers
#385 opened Dec 19, 2024 by jespercockx
agda2hs locate doesn't work with the nix build
#384 opened Dec 18, 2024 by liesnikov
agda2hs locate doesn't appear in the --help
#383 opened Dec 18, 2024 by liesnikov
No import generated for fromMaybe bug Something isn't working
#377 opened Oct 3, 2024 by jespercockx 1.4
agda2hs inlines function with explicit forall but not without bug Something isn't working
#376 opened Oct 3, 2024 by jespercockx 1.4
1
Allow existing-class for postulated type classes bug Something isn't working
#373 opened Oct 1, 2024 by flupe 1.4
Rename Rezz to Singleton enhancement New feature or request
#371 opened Oct 1, 2024 by flupe
Incorrect transpilation of polymorphic where clauses error-reporting
#362 opened Sep 16, 2024 by HeinrichApfelmus
12
Support hiding things from the prelude enhancement New feature or request prelude
#356 opened Sep 2, 2024 by omelkonian
Compiling declared but not-yet-defined datatype silently generates no code bug Something isn't working
#346 opened Jul 27, 2024 by jespercockx 1.4
Macro generates variable with out-of-scope name error-reporting
#344 opened Jul 26, 2024 by jespercockx
Address inconsistent style of typeclass laws enhancement New feature or request
#336 opened Jun 28, 2024 by omelkonian
Compile multiple arguments pattern lambda to multi-way lambda expressions enhancement New feature or request
#335 opened Jun 19, 2024 by flupe
New ≡⟨_⟨ syntax for ≡˘⟨_⟩? enhancement New feature or request
#334 opened Jun 11, 2024 by pmbittner
agda2hs fails unless agda or agda2hs is run first bug Something isn't working
#322 opened May 9, 2024 by bwbush
2
Newtype constructor erroneously removed bug Something isn't working
#320 opened May 8, 2024 by bwbush 1.4
2
Definition of Functor is inconsistent with base-4.18.1.0 etc. bug Something isn't working
#318 opened May 8, 2024 by bwbush 1.4
1
Better support for wrapping Haskell modules via postulate question Further information is requested
#316 opened May 8, 2024 by HeinrichApfelmus
2
Dot patterns in arguments corresponding to module parameters should not be allowed error-reporting
#306 opened Mar 12, 2024 by jespercockx 1.4
Docs: add syntax trick to use Unicode instead of Haskell-compatible ASCII identifiers documentation Improvements or additions to documentation enhancement New feature or request
#293 opened Feb 29, 2024 by omelkonian
1
Add support for associated type families enhancement New feature or request
#288 opened Feb 23, 2024 by jespercockx
1
Support constructors in rewrite rules enhancement New feature or request
#283 opened Feb 19, 2024 by celsobonutti
2
Add support for older GHC versions 8.6.5 and 9.02 enhancement New feature or request
#281 opened Feb 16, 2024 by omelkonian
Agda internally eta-reduces when it shouldn't enhancement New feature or request
#275 opened Feb 9, 2024 by omelkonian
Consider using ghc-source-gen enhancement New feature or request
#274 opened Jan 30, 2024 by flupe
ProTip! Updated in the last three days: updated:>2024-12-20.