Blockchain, Cosmos Network, Virtual Machine, Tendermint, Proof Of Stake.
will open new opportunities for building advanced state machine systems with strong correctness guarantees. The FOAM team is focusing on hs-abci, a production ready ABCI server and a minimal Cosmos-SDK in Haskell, including a BaseApp library and a Basecoin app roughly compatible with those of the