1SubML: experimental ML-like programming language with a unified module and value language, and more
Summary
1SubML is an experimental ML-like language that unifies modules and values, enabling modules to be treated as first-class values. It features an advanced type system and a web playground for exploration; the README covers examples, getting started, and AI-assisted development notes. The project highlights a novel approach to modular programming with potential implications for toolchains and automation workflows.