Comment on Idris - pure functional programming language with dependent typesComments−phaer14yDown for me, google cache: http://webcache.googleusercontent.com/search?q=cache:dtmf_mG...−edwinb14ySorry about that, it's back now...
Comments
Down for me, google cache: http://webcache.googleusercontent.com/search?q=cache:dtmf_mG...
Sorry about that, it's back now...