Awesome. Been looking for an up-to-date list of current programming language research being done for smart contracts.