38 ms·Is it me or do dependent types look really similar to the axiom of choice?by shiandow 1y agoIs it me or do dependent types look really similar to the axiom of choice?