Um monte de mudança de namespace :)

Kkkk Mexeram com o país errado

Com relação a estado mutável: estou trabalhando com uma linguagem de programação sensacional focada em estado de máquina. Ela explora automaticamente todos os possíveis fluxos e te mostra counter examples p/ resolver.
Nome: Coco
Depois de passar nas verificações você pode exportar para C/C++ ou C# 😊