Skip to content

Issues: con-kitty/categorifier

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 3 Closed
28 Open 3 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

include Data.Distribute.distribute
#104 opened Jan 30, 2024 by martyall
Errors with Natural
#99 opened Jan 3, 2024 by martyall
2
12
Dependency Dashboard
#93 opened Dec 8, 2023 by renovate bot
4 tasks
Categorifier imposes a ClosedCat constraint where not theoretically necessary
#88 opened May 3, 2023 by agrue
Add a test for AxiomInstCo
#73 opened May 14, 2022 by zliu41
Use thNameToGhcName
#58 opened Apr 22, 2022 by zliu41
Run categorify in CoreM
#57 opened Apr 21, 2022 by zliu41
simplify unsupported interpretations
#54 opened Apr 15, 2022 by zliu41
support more coercions
#53 opened Apr 15, 2022 by zliu41
eliminate CoerceCat
#52 opened Apr 15, 2022 by zliu41
support tracing of the plugin's conversion
#51 opened Apr 15, 2022 by zliu41
Cache inlined and categorified expressions
#50 opened Apr 15, 2022 by zliu41
Support show
#49 opened Apr 15, 2022 by zliu41
Flatten associative composition application and simplification
#48 opened Apr 15, 2022 by zliu41
Implement listed cat-theory simplification rules
#47 opened Apr 15, 2022 by zliu41
Handle unboxed tuples caused by -funbox-strict-fields
#46 opened Apr 15, 2022 by zliu41
2
Add build-time failure tests for the Categorifier plugin
#45 opened Apr 15, 2022 by zliu41
report when we try to convert a mutually-recursive top-level definition
#44 opened Apr 15, 2022 by zliu41
Avoid requiring -fno-ignore-interface-pragmas on Categorifier-using targets
#43 opened Apr 15, 2022 by zliu41
1
add explicit functor from Hask to target category
#42 opened Apr 15, 2022 by zliu41
2
Preprocessing step to make sure categorify calls are in the right form
#33 opened Mar 12, 2022 by zliu41
Hold meta-information for functions in Maker
#26 opened Feb 24, 2022 by zliu41
Reorganize custom categorize exp simplification rules
#25 opened Feb 24, 2022 by zliu41
Principled subst determination with re-exported Dict module
#24 opened Feb 24, 2022 by zliu41
1
Perform Prim.checkForUnboxedVars only when appropriate
#23 opened Feb 24, 2022 by zliu41
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.