5

Litex: The First Formal Language Learnable in 2 Hours