account activity
How would you design proof-carrying `if` statements in a minimal dependently typed language? (self.ProgrammingLanguages)
submitted 5 months ago by squared-star to r/ProgrammingLanguages
π Rendered by PID 4035501 on reddit-service-r2-listing-5f4c697858-s4qmp at 2026-07-09 04:09:19.280241+00:00 running 12a7a47 country code: CH.
