Details on the Move programming language [PDF]: https://developers.libra.org/docs/assets/papers/libra-move-a...