Export SOPed, add SListI2 to IsProductR/SumR

Plutonomicon / plutarch-core

Plutarch 2.0

MIT License

19 stars 6 forks source link

Closed re-xyr closed 1 year ago

re-xyr commented 1 year ago

This PR makes it easier to implement PConstructable' for generic datatypes (specifically for the prettyprinter).