Skip to content

Pull requests: agda/agda2hs

New pull request New
11 Open 186 Closed
11 Open 186 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Always drop "Haskell." prefix from module names
#379 opened Nov 15, 2024 by jespercockx Loading…
Add support for unboxed datatypes, singletons
#348 opened Aug 14, 2024 by flupe • Draft
Draft for add bindings for numeric typeclasses
#339 opened Jul 20, 2024 by ndcroos • Draft
4
Apply formatting and linting
#330 opened Jun 8, 2024 by dragospe • Draft
2 tasks
4
Draft: IsLawfulOrd proofs
#315 opened Apr 21, 2024 by odderwiser • Draft
Adding mechanism for skipping up-to-date files
#300 opened Mar 3, 2024 by viktorcsimma Loading…
5
Adding Haskell cognates of builtin Agda Char functions in Data.Char
#299 opened Mar 2, 2024 by viktorcsimma • Draft
Adding an implementation of the Alternative class in Control.Applicative
#298 opened Mar 2, 2024 by viktorcsimma • Draft
Adding mechanism to compile Haskell.Data.* modules to Data.* modules
#297 opened Mar 1, 2024 by viktorcsimma Loading…
3
Adding an implementation of the Data.Map module
#291 opened Feb 28, 2024 by viktorcsimma • Draft
3
Add a primitive Let that is compiled to let in Haskell
#252 opened Dec 11, 2023 by jespercockx • Draft 1.4
2
ProTip! What’s not been updated in a month: updated:<2024-10-21.