Skip to content

Pull requests: agda/agda2hs

New pull request New
12 Open 208 Closed
12 Open 208 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

Neaten Agda2Hs.Render
#414 opened May 29, 2025 by HeinrichApfelmus
Reorganize Monad laws, prove Applicative laws
#412 opened May 24, 2025 by HeinrichApfelmus • Changes requested
19
Add containers-lib to nix flake packages
#407 opened May 2, 2025 by HeinrichApfelmus • Approved
8
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! What’s not been updated in a month: updated:<2025-05-08.