Agda v2.9.0

13 points | by qbane 9 hours ago