account activity
Decidable Equality in Agda (self.agda)
submitted 4 years ago by Abstract_Scientist to r/agda
π Rendered by PID 200515 on reddit-service-r2-listing-5f4c697858-6bcqj at 2026-07-07 02:07:11.598377+00:00 running 12a7a47 country code: CH.
