We have joined forces with camlCase to work on the Morley library for the Tocqueville Group (TQ).
Morley is a library that will make writing smart contracts in Michelson (the language used to write smart contracts on Tezos) effective and enjoyable.
The Michelson smart contract language is stack based and strongly typed. It was designed to enable formal verification of contracts, and as you can already guess, we are thrilled to be working on it.
