← Feed @alp@mathstodon.xyz Post #2735449 2026-04-27 11:54 UTC @byorgey@mathstodon.xyz I suspect the latter yes. But I found the irony of considering Agda code dangerous delicious =) Replies (0) No replies.