It's extremely convenient for you to become offended at this stage so you can avoid actually addressing my points, since your claims are borderline nonsense. Any person that understands dependent types and is unfortunate enough to read through all the drivel you have posted in this thread will also immediately realize this, so it doesn't really matter. You are right that your words stand on their own in that regard.In the end, you leave this thread knowing this as well, if you are at all capable of introspection.
No comments yet.