So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Name:
Anonymous2018-10-17 13:24
>>78 I once contributed to an open source project (game) where the leader was incapable of considering his ideas being exploited against his vision. It was pain.