← Feed @constantine@types.pl Post #2278871 2026-05-06 17:11 UTC @julesh@mathstodon.xyz @gallais@mamot.fr > unsafeDestroyWorld I know Idris is powerful etc but this is too far.. Replies (0) No replies.