Skip to content

Pull requests: agda/agda2hs

New pull request New
10 Open 211 Closed
10 Open 211 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Upgrade Agda base version to 2.8.0-rc3
#416 opened Jun 10, 2025 by jespercockx • Draft 1.4
2
29
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
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 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! Mix and match filters to narrow down what you’re looking for.