Skip to content

Issues: Plutonomicon/plutarch-core

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

16 Open 11 Closed
16 Open 11 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

Clean up implementation such that unused proofs terms are not carried around
#45 opened Nov 27, 2023 by L-as
How does interpreting and linearity of languages interact?
#44 opened May 28, 2023 by L-as
1
Clean up implementation of Plutarch.Internal.Utilities
#43 opened May 28, 2023 by L-as
1
Allow splitting languages
#42 opened Apr 18, 2023 by L-as
2
Encode co{,ntra}variance and su{b,per}typing
#38 opened Jan 20, 2023 by L-as
Implement effects in Nix backend
#37 opened Dec 27, 2022 by L-as
Allow attaching metadata to datatype definitions
#36 opened Nov 17, 2022 by L-as
Support _generating_ type class instances
#35 opened Nov 16, 2022 by L-as
Embedded classes/constraints
#32 opened Oct 14, 2022 by L-as
Singletons / Dependent types
#31 opened Oct 14, 2022 by L-as
1
Syntactical plugin to improve ergonomics
#30 opened Oct 14, 2022 by L-as
1
GHC Core backend
#25 opened Sep 24, 2022 by L-as
Type class and backend for Lua
#20 opened Sep 11, 2022 by L-as
@L-as
Optimisations to do
#14 opened Jul 13, 2022 by L-as
GHC improvements
#7 opened Jun 25, 2022 by L-as
2
Optics
#3 opened Jun 25, 2022 by L-as
1
@AriFordsham
4
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.