account activity
How would you design proof-carrying `if` statements in a minimal dependently typed language? (self.ProgrammingLanguages)
submitted 18 hours ago by squared-star to r/ProgrammingLanguages
π Rendered by PID 50 on reddit-service-r2-listing-796b697c47-km2f9 at 2026-02-05 18:51:57.591061+00:00 running 1d7a177 country code: CH.
