Mercurial > urweb

view src/coq/README @ 2295:e6c5bb62fef8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.
author Ziv Scully <ziv@mit.edu>
date Thu, 19 Nov 2015 03:45:39 -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.