Mercurial > urweb

annotate src/coq/README @ 1866:9fc086e3c95a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.
author Sergey Mironov <grrwlf@gmail.com>
date Fri, 13 Sep 2013 10:09:15 -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.