Mercurial > urweb

annotate src/coq/README @ 2162:c39c48696393

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow returnBlob and redirect in static protocol Both of these functions end up returning RETURN_INDIRECTLY, which is assumed to be an error by static.c's main. Treat it as success instead.
author Julian Squires <julian@cipht.net>
date Mon, 13 Jul 2015 14:34:30 -0400
parents 705cb41ac7d0
children
rev   line source
adamc@636 1 This is a Coq formalization of a simplified version of the Ur programming language.
adamc@636 2
adam@1618 3 It has only been tested with Coq version 8.3pl2.