Intuitionistic: a new kind of programming language(intuitionistic.org)2 points·by techtalsky·13 yıl önce·0 commentsintuitionistic.orgIntuitionistic: a new kind of programming languagehttp://intuitionistic.org/0 commentsPost comment—