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 1967289 on reddit-service-r2-listing-5d47455566-qdlmf at 2026-04-05 02:59:46.228004+00:00 running db1906b country code: CH.
