search

Plutonomicon / plutarch-core

Plutarch 2.0
MIT License
19 stars 6 forks source link

Encode co{,ntra}variance and su{b,per}typing #38

Open L-as opened 1 year ago

L-as commented 1 year ago

To allow zero-cost coercions