search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

link to plutus spec broken #711

Closed KsenyaSerova closed 5 years ago

KsenyaSerova commented 5 years ago

the one referenced in plutus core folder https://github.com/input-output-hk/plutus/tree/master/language-plutus-core https://github.com/input-output-hk/plutus/tree/master/docs/plutus-core

effectfully commented 5 years ago

Fixed in #712. Thank you!