nice lang https://doc.flix.dev/type-level-programming.html https://doc.flix.dev/type-level-programming.html but they stopped to early in typing. after seeing

nice lang https://doc.flix.dev/type-level-programming.html https://doc.flix.dev/type-level-programming.html but they stopped to early in typing. after seeing how types and values unified in lean, not sure will look into flix like languages ever