Plutonomicon / plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/
MIT License
124 stars 64 forks source link

Unsure if correct (!): point out that Type is the same as * #586

Closed lemmon-714 closed 2 years ago

lemmon-714 commented 2 years ago

Figured it's better to propose a change than create an issue. Is this edit true? Is this behaviour of mine correct?

Follow-up question: Why does it sometimes print Type and sometimes *? Should be added as well, such little unclarities tend to block learning, at least for me.

lemmon-714 commented 2 years ago

And I see it's pointed out above.

MangoIV commented 2 years ago

I don't think that's relevant, that's Haskell knowledge, not Plutarch knowledge.