annotate demo/more/prose @ 2123:1218daa14279

Document new infix operators
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Mar 2015 14:58:34 -0500
parents 166ea3944b91
children
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>
adamc@995 12
adamc@995 13 versioned1.urp
adamc@995 14
adamc@995 15 <p>We can also build a data store abstraction that makes it possible to view old versions of records.</p>