Hey guys! It has been a long time since the last article, but here is something that others might find interesting. I compiled the PDF for the ledger specification that they are writing at IOHK, and was thinking that others would be lazy to install Nix just for this. Here it is: http://cardano-universe.com/wp-content/uploads/2019/02/ledger-spec.pdf I’m also reading a lot of what guys are doing on the Rust repository, quite interesting if you are looking to read on your free time 🙂 Good reading! Source: https://github.com/input-output-hk/fm-ledger-rules