Name:
Anonymous
2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Name:
Anonymous
2018-10-14 14:14
CoC's inference rules, you must be a mental midget to need more than 100 lines of code to implement them
https://en.wikipedia.org/wiki/Calculus_of_constructions#Inference_rules_for_the_calculus_of_constructions