Hi, I'm developing language with similar logic but like Idris & Elixir https://digitable-lol.github.io/flang/en/index.html

It's GPL with specifications based on real lanagues, so you can experiment or even make your commits or PRs