annotate demo/more/prose @ 993:10114d7b7477

SELECT DISTINCT; eta expansion during Cjrization
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Oct 2009 15:39:27 -0400
parents b825d843b22d
children 166ea3944b91
rev   line source
adamc@915 1 <p>These are some extra demo applications written in <a href="http://www.impredicative.com/ur/">Ur/Web</a>. See <a href="http://www.impredicative.com/ur/demo/">the main demo</a> for a more tutorial-like progression through language and library features.</p>
adamc@915 2
adamc@917 3 dragList.urp
adamc@917 4
adamc@992 5 <p>This is an Ur/Web version of the "draggable lists" <a href="http://groups.inf.ed.ac.uk/links/examples/">demo program from Links</a>.</p>
adamc@917 6
adamc@915 7 grid1.urp
adamc@992 8
adamc@992 9 orm1.urp
adamc@992 10
adamc@992 11 <p>Many varieties of "object-relational mapping" (ORM) can be implemented as libraries in Ur/Web, as this demo shows.</p>