-
Notifications
You must be signed in to change notification settings - Fork 33
Insights: agda/agda2hs
Overview
-
- 1 Merged pull request
- 0 Open pull requests
- 1 Closed issue
- 2 New issues
Loading
Could not load contribution data
Please try again later
Loading
1 Pull request merged by 1 person
-
Remove non-method functions from the fields of Functor and Method
#345 merged
Jul 27, 2024
1 Issue closed by 1 person
-
Check that constructors are not overloaded
#125 closed
Jul 27, 2024
2 Issues opened by 1 person
-
Compiling declared but not-yet-defined datatype silently generates no code
#346 opened
Jul 27, 2024 -
Macro generates variable with out-of-scope name
#344 opened
Jul 26, 2024
2 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
User-definable functions for builtin Haskell syntax
#105 commented on
Jul 25, 2024 • 0 new comments -
Typeclass instances not imported.
#324 commented on
Jul 27, 2024 • 0 new comments