https://github.com/google-research/dex-lang https://github.com/google-research/dex-lang Another interesting language in this vein is Dex. The authors are creat

https://github.com/google-research/dex-lang https://github.com/google-research/dex-lang Another interesting language in this vein is Dex. The authors are creators of Jax and Pytorch, and they have a lot of interesting ideas.