Shen
https://shenlanguage.org/learn.html
static type checking based on sequent calculus,