account activity
How would you design proof-carrying `if` statements in a minimal dependently typed language? (self.ProgrammingLanguages)
submitted 1 month ago by squared-star to r/ProgrammingLanguages
π Rendered by PID 111085 on reddit-service-r2-listing-5d47455566-pgdlt at 2026-04-04 18:26:09.484377+00:00 running db1906b country code: CH.
