At the language level, it feels that Beef has more concepts and is more complicated than Jai. I don't know which one is more expressive and more readable when actually used.