Show HN: My programming language, building in public for 1 year My weekly(ish) video logs tracking my progress of building a completely sound statically typed language and structural editor. The motivation is to make lots of invalid programs unrepresentable. https://ift.tt/Kx98WRM January 1, 2023 at 05:12AM