Du verlässt troet.cafe.

Wenn du diesem Link vertraust, dann klicke ihn an, um fortzufahren.

https://agda.club/users/jesper