I think Agda is ...

· · ·