Intuitionistic: a new kind of programming languageintuitionistic.org2 points·techtalsky··0 commentsOpen articleSaveView on HN