GitHub - Storyyeller/1subml: The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher

GitHub - Storyyeller/1subml: The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher — brisk.news