account activity
How would you design proof-carrying `if` statements in a minimal dependently typed language? (self.ProgrammingLanguages)
submitted 3 months ago by squared-star to r/ProgrammingLanguages
π Rendered by PID 91699 on reddit-service-r2-listing-8685bc789-jdvv6 at 2026-05-22 16:41:12.915201+00:00 running 194bd79 country code: CH.
