Mercurial > urweb

view src/coq/README @ 1665:f9ffe8497742

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix channel delivery to handle sending of messages for channels whose clients haven't connected yet
author Adam Chlipala <adam@chlipala.net>
date Sun, 08 Jan 2012 15:47:05 -0500
parents 705cb41ac7d0
children
line wrap: on
line source
This is a Coq formalization of a simplified version of the Ur programming language.

It has only been tested with Coq version 8.3pl2.