▶
Agda
ag duh
pronounce →