Name: Anonymous 2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
shows paper clearly lacking code and clearly not written by him"I have implemented a dependent type system in 100 lines of code."
where it is"Its...in the paper..somewhere.."