Regent implicit dataflow parallelism DAML decentralized applications Circle data-driven imperative metaprogramming Neverlang language creation XL extensible Mun embeddable scripting language Lily blockchain

pd: I think @thevenusproject must use political-verbal objectives only temporarily, after it should be presented predominantly in a visual manner, through a virtual version of a Circular City :)