issues
search
agda
/
agda2hs
Compiling Agda code to readable Haskell
https://agda.github.io/agda2hs
MIT License
178
stars
37
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Always drop "Haskell." prefix from module names
#379
jespercockx
opened
1 week ago
2
Can't build agda2hs with recent GHC version(s)
#378
abailly
closed
3 weeks ago
6
No import generated for `fromMaybe`
#377
jespercockx
opened
1 month ago
0
agda2hs inlines function with explicit `forall` but not without
#376
jespercockx
opened
1 month ago
1
Docs: tweak features.md
#375
anuyts
closed
1 month ago
0
[ fix #373 ] enable existing-class on postulated type formers
#374
flupe
closed
1 month ago
1
Allow `existing-class` for postulated type classes
#373
flupe
opened
1 month ago
0
[ fix #370 ] add locate command, data-files in cabal config
#372
flupe
closed
1 month ago
2
Rename `Rezz` to `Singleton`
#371
flupe
opened
1 month ago
0
Add agda2hs library to data-files + add command to print location of the library
#370
jespercockx
closed
1 month ago
0
remove the jailbreak in flake.nix now that aeson bounds are relaxed
#369
liesnikov
closed
2 months ago
0
Add support for GHC 9.10.2
#368
jespercockx
closed
2 months ago
4
Update version bounds in agda2hs.cabal
#367
jespercockx
closed
2 months ago
0
Release agda2hs 1.3
#366
jespercockx
closed
1 month ago
26
Don't crash on parse errors in deriving clauses
#365
anka-213
closed
2 months ago
6
Support generating RankN haskell types. Fixes #352
#364
anka-213
closed
2 months ago
0
Properly differentiate between multiple anonymous modules
#363
anka-213
closed
2 months ago
6
Incorrect transpilation of polymorphic `where` clauses
#362
HeinrichApfelmus
opened
2 months ago
12
Agda does not accept equational reasoning with `if_then_else` and erased invariants
#361
HeinrichApfelmus
closed
2 months ago
7
Fix for #359
#360
jespercockx
closed
2 months ago
0
Wrong argument is dropped for projection-like function in parametrized module
#359
jespercockx
closed
2 months ago
0
Fix for #357
#358
jespercockx
closed
2 months ago
3
Levels should not always be erased
#357
omelkonian
closed
2 months ago
5
Support `hiding` things from the prelude
#356
omelkonian
opened
2 months ago
0
Better error when compiling level definitions
#355
omelkonian
closed
2 months ago
1
New (simpler but more robust) implementation of canonicity check
#354
jespercockx
closed
2 months ago
2
Calling between functions in (multiple) anonymous modules causes arguments to disappear
#353
anka-213
closed
2 months ago
5
Support generating RankN haskell types (using forall)
#352
anka-213
closed
2 months ago
1
Parse errors on deriving clauses a class itself causes a crash
#351
anka-213
closed
2 months ago
0
Update Agda base to 2.7.0
#350
jespercockx
closed
2 months ago
5
Update Agda base to 2.7.0
#349
jespercockx
closed
2 months ago
0
Add support for unboxed datatypes, singletons
#348
flupe
opened
3 months ago
0
Support building with GHC 9.10 (base-4.20)
#347
cho-m
closed
2 months ago
1
Compiling declared but not-yet-defined datatype silently generates no code
#346
jespercockx
opened
4 months ago
0
Remove non-method functions from the fields of Functor and Method
#345
jespercockx
closed
4 months ago
0
Macro generates variable with out-of-scope name
#344
jespercockx
opened
4 months ago
0
Define Rezz in terms of ∃
#343
jespercockx
closed
4 months ago
0
Add support for custom tuples
#342
jespercockx
closed
4 months ago
2
Fix for #340
#341
jespercockx
closed
4 months ago
0
Error: pattern matching lambdas must take a single argument
#340
jespercockx
closed
4 months ago
0
Draft for add bindings for numeric typeclasses
#339
ndcroos
opened
4 months ago
4
Imports of modules that have current module name as prefix are dropped silently
#338
jespercockx
opened
4 months ago
0
Fix #317
#337
jespercockx
closed
4 months ago
0
Address inconsistent style of typeclass laws
#336
omelkonian
opened
5 months ago
0
Compile multiple arguments pattern lambda to multi-way lambda expressions
#335
flupe
opened
5 months ago
0
New `≡⟨_⟨` syntax for `≡˘⟨_⟩`?
#334
pmbittner
opened
5 months ago
0
Support for GHC 9.8.2
#333
PPKFS
closed
4 months ago
0
[ fix #119 ] Raise a warning when an unknown name appears in generated Haskell code
#332
jespercockx
closed
1 month ago
1
Implementing `IsLawfulNum` as part of Issue #108
#331
pmbittner
closed
4 months ago
1
Apply formatting and linting
#330
dragospe
opened
5 months ago
1
Next