I intuitionistic.org IPL: Intuitionistic Programming Language (2013) 52 points blending 4 years ago 16 comments
