I am working on implementing a more easily presentable programming language for my implementation of a multi-modal, multi-mode dependent type theory. I have be

I am working on implementing a more easily presentable programming language for my implementation of a multi-modal, multi-mode dependent type theory. I have been using a barebones version with a minimal and slightly UX hostile (for most peoples standards) version as a personal programming language. There was a random comment in a thread asking if I had anything readable for others. So I started getting a github based ‘blog’ together and started porting the compiler to JavaScript (which I don’t know very well) to have some interesting examples/demonstrations of the type theory and compilation process. I don’t think the language will be released, but maybe some people will find the theoretical or implementation presentations helpful or interesting.