Intuitionistic: a new kind of programming languagehttp://intuitionistic.org/ by techtalsky • 13 years ago 2 0 13 years agoINintuitionistic.org