Idris, a language that will change the way you think about programming (2015)
Hacker News2016. 1. 7. 12:38
Idris, a language that will change the way you think about programming (2015)
원문 기사 링크 : http://crufter.com/2015/01/01/idris-a-language-which-will-change-the-way-you-think-about-programming/
DMCA request is please use to GeustBook or E-Mail : zyn3103@gmail.com
