Charles Hoskinson says he is developing a new programming language for Cardano
PANews, citing CoinDesk, reported that Charles Hoskinson says he is working with IOG engineer Lucas Rosa to develop a new programming language for Cardano, intended to support transaction intents, proof-carrying data, and Groth16 proofs.