Robuta

https://en.wikipedia.org/wiki/Intuitionistic_type_theory