The Ur Programming Language Family (impredicative.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of impredicative.com: The Ur Programming Language Family

First screen, captured 2 years ago.

Looks similar

Screenshot of yorick.sourceforge.net: Yorick is an interpreted programming language for scientific simulations

Yorick is an interpreted programming language for scientific simulations (yorick.sourceforge.net)

52 points by Tomte 3 years ago | 18 comments

Screenshot of html-lang.org: HTML, the Programming Language

HTML, the Programming Language (html-lang.org)

266 points by recursivedoubts 2 years ago | 126 comments

Screenshot of nongnu.org: Skribilo: The Document Programming Framework

Skribilo: The Document Programming Framework (nongnu.org)

73 points by Tomte 2 years ago | 15 comments

Screenshot of btiffin.users.sourceforge.net: The Unicon Programming Language

The Unicon Programming Language (btiffin.users.sourceforge.net)

69 points by andsoitis 1 year ago | 9 comments

Screenshot of iwriteiam.nl: Programming the Gigatron

Programming the Gigatron (iwriteiam.nl)

14 points by shakna 2 months ago | 1 comments

Screenshot of pages.cpsc.ucalgary.ca: The Evolution of a Haskell Programmer (2001)

The Evolution of a Haskell Programmer (2001)(pages.cpsc.ucalgary.ca)

128 points by agomez314 2 years ago | 35 comments