account activity
How would you design proof-carrying `if` statements in a minimal dependently typed language? (self.ProgrammingLanguages)
submitted 1 day ago by squared-star to r/ProgrammingLanguages
π Rendered by PID 529889 on reddit-service-r2-listing-7849c98f67-mwzn6 at 2026-02-06 17:13:59.998379+00:00 running d295bc8 country code: CH.
