Agda Glimic

Agda Glimic is an octuplet