Mercurial > urweb

annotate src/coq/README @ 1454:96353138f016

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug in projection of constructors from modules in class rules.
author Karn Kallio <kkallio@eka>
date Sun, 01 May 2011 00:26:08 -0430
parents de8333ef1a0c
children 705cb41ac7d0
rev   line source
adamc@636 1 This is a Coq formalization of a simplified version of the Ur programming language.
adamc@636 2
adamc@636 3 It has only been tested with Coq version 8.1pl3.