search

input-output-hk / cardanodocs.com-archived

Cardano Settlement Layer Documentation
https://cardanodocs.com
Other
35 stars 27 forks source link

Is there any paper about Plutus? #101

Open kikofernandez opened 6 years ago

kikofernandez commented 6 years ago

Hi,

I am really interested in Cardano and Plutus and I would like to know if there is any published or draft paper available that provides the formal semantics of Plutus. (I have read the documentation but I would like to really dig down into the language).

Thanks

SebastienGllmt commented 6 years ago

Probably you're looking for https://github.com/psygnisfive/Plutus-Core-Spec or https://github.com/input-output-hk/plutus-prototype