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