issues
search
Plutonomicon
/
plutarch-core
Plutarch 2.0
MIT License
19
stars
6
forks
source link
Equality type
#10
Closed
L-as
closed
2 years ago
L-as
commented
2 years ago
This is useful for embedding GADTs
L-as
commented
2 years ago
Related to #9
This is useful for embedding GADTs