issues
search
Plutonomicon
/
plutarch-core
Plutarch 2.0
MIT License
19
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Clean up implementation such that unused proofs terms are not carried around
#45
L-as
opened
7 months ago
0
How does interpreting and linearity of languages interact?
#44
L-as
opened
1 year ago
1
Clean up implementation of Plutarch.Internal.Utilities
#43
L-as
opened
1 year ago
1
Allow splitting languages
#42
L-as
opened
1 year ago
2
New beginnings
#41
L-as
closed
1 year ago
0
Removed redundant Typeable constraint.
#40
Icelandjack
closed
1 year ago
0
C backend
#39
L-as
closed
1 year ago
1
Encode co{,ntra}variance and su{b,per}typing
#38
L-as
opened
1 year ago
0
Implement effects in Nix backend
#37
L-as
opened
1 year ago
0
Allow attaching metadata to datatype definitions
#36
L-as
opened
1 year ago
0
Support _generating_ type class instances
#35
L-as
opened
1 year ago
0
Nix work
#34
L-as
closed
1 year ago
0
Support embedded linearity
#33
L-as
closed
1 year ago
0
Embedded classes/constraints
#32
L-as
opened
1 year ago
0
Singletons / Dependent types
#31
L-as
opened
1 year ago
1
Syntactical plugin to improve ergonomics
#30
L-as
opened
1 year ago
1
Move some backends to the Backends directory
#29
L-as
closed
1 year ago
0
Fix type inference on `compile`
#28
L-as
closed
1 year ago
1
Fix errors
#27
L-as
closed
1 year ago
0
Inference fixes for GHC regression
#26
AriFordsham
closed
1 year ago
0
GHC Core backend
#25
L-as
opened
1 year ago
0
Effects
#24
L-as
closed
1 year ago
0
ULC Problem
#23
AriFordsham
closed
1 year ago
3
Experimental SOP implementation
#22
re-xyr
closed
1 year ago
4
Untyped lambda calculus backend
#21
AriFordsham
closed
1 year ago
2
Type class and backend for Lua
#20
L-as
opened
1 year ago
0
Export SOPed, add SListI2 to IsProductR/SumR
#19
re-xyr
closed
1 year ago
0
Simplified generics implementation
#18
AriFordsham
closed
1 year ago
9
Exported constructors, made the default type backend NoTypeInfo. Made Term a newtype.
#17
Icelandjack
closed
1 year ago
1
Added UPLC for untyped Plutus core, and smaller changes
#16
Icelandjack
closed
1 year ago
2
Example/Simple.hs doesn't compile
#15
gelisam
closed
1 year ago
4
Optimisations to do
#14
L-as
opened
2 years ago
0
Draft optics implementation
#13
AriFordsham
closed
1 year ago
14
Typo
#12
AriFordsham
closed
1 year ago
0
Add type family `T`
#11
L-as
closed
1 year ago
2
Equality type
#10
L-as
closed
2 years ago
1
`DataKinds`-like theory in eDSL
#9
L-as
closed
2 years ago
3
Prefix everything with `p` again, instead of `e`
#8
L-as
closed
1 year ago
0
GHC improvements
#7
L-as
opened
2 years ago
2
Subinterpreting example
#6
L-as
closed
1 year ago
1
Some kind of dependently typed backend
#5
L-as
closed
1 year ago
0
General repo setup
#4
L-as
closed
1 year ago
0
Optics
#3
L-as
opened
2 years ago
4
Figure out how to make foralls more ergonomic
#2
L-as
closed
1 year ago
2
Add flake and formatting
#1
HariAmoor-professional
closed
2 years ago
0