So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Name:
Anonymous2018-10-15 16:43
>>63 I assume he wants for dependent types(proof checker) to verify input too. Removing the manual check("The programmer verifies that the input is correct") from the program.