IPL: Intuitionistic Programming Languageintuitionistic.org3 points·PuercoPop··0 commentsOpen articleSaveView on HN