head	1.4;
access;
symbols;
locks; strict;
comment	@# @;


1.4
date	2012.08.11.05.42.47;	author rm;	state Exp;
branches;
next	1.3;

1.3
date	2012.06.03.23.30.16;	author rm;	state Exp;
branches;
next	1.2;

1.2
date	2012.06.03.23.28.44;	author rm;	state Exp;
branches;
next	1.1;

1.1
date	2012.04.06.14.36.30;	author scheidell;	state Exp;
branches;
next	;


desc
@@


1.4
log
@SVN rev 302403 on 2012-08-11 05:42:47Z by rm

- update to 20120807

while here:
- convert to optionsNG
- tab -> space in pkg-descr:WWW

PR:		170486
Submitted by:	Timothy Beyer <beyert at cs.ucr dot edu> (maintainer)
@
text
@Ur is a programming language in the tradition of ML and Haskell, but featuring
a significantly richer type system. Ur is functional, pure, statically-typed,
and strict. Ur supports a powerful kind of metaprogramming based on row types.

Ur/Web is Ur plus a special standard library and associated rules for parsing
and optimization. Ur/Web supports construction of dynamic web applications
backed by SQL databases. The signature of the standard library is such that
well-typed Ur/Web programs "don't go wrong" in a very broad sense. Not only do
they not crash during particular page generations, but they also may not:

  * Suffer from any kinds of code-injection attacks
  * Return invalid HTML
  * Contain dead intra-application links
  * Have mismatches between HTML forms and the fields expected by their
    handlers
  * Include client-side code that makes incorrect assumptions about the
    "AJAX"-style services that the remote web server provides
  * Attempt invalid SQL queries
  * Use improper marshaling or unmarshaling in communication with SQL databases
    or between browsers and web servers

WWW: http://www.impredicative.com/ur/
@


1.3
log
@- correct pkg-descr entry that I forgout about
@
text
@d22 1
a22 1
WWW:	http://www.impredicative.com/ur/
@


1.2
log
@- update to 20120519

PR:		168179
Submitted by:	Timothy Beyer <beyert at cs.ucr dot edu> (maintainer)
@
text
@d17 1
a17 1
  * "AJAX"-style services that the remote web server provides
@


1.1
log
@Add New Port lang/urweb: Ur is a programming language in the tradition of ML and Haskell, but featuring
a significantly richer type system. Ur is functional, pure, statically-typed,
and strict. Ur supports a powerful kind of metaprogramming based on row types.

Ur/Web is Ur plus a special standard library and associated rules for parsing
and optimization. Ur/Web supports construction of dynamic web applications
backed by SQL databases.

PR:		ports/166657
Submitted by:	Timothy Beyer <beyert@@cs.ucr.edu>
Feature safe:	yes
@
text
@d22 1
a22 1
WWW: http://www.impredicative.com/ur/
@

