annotate src/coq/README @ 1931:1a04b1edded2

Fix regression in http.c for long-polling connections; add lazy initialization of database connections, to avoid the overhead in handlers that don't use SQL
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Dec 2013 14:57:54 -0500
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.