My light at the end of the tunnel remark was more of an analogy that at that point I'll be able to use the language with minimal competency. >.< I can see with

My light at the end of the tunnel remark was more of an analogy that at that point I'll be able to use the language with minimal competency. >.< I can see with things like Idris and dependent types even more of the same of the whole, well I thought I understood computation to a minimal degree, here is another bit of it that totally changes how I view the world.