id: 0aed8097-da37-483a-8a89-8d0aa1b4b102 url: http://intuitionistic.org/ name: Intuitionistic Programming Language
