3 ms·Proposal: Algol should have dependent types.by ungzd 11y agoProposal: Algol should have dependent types.