Month: July 2017

А тем временем, незаметно, но весьма оригинально, прямёхонько на первое апреля был выкачена на общее благо первая версия языка

https://www.idris-lang.org/idris-1-0-released/