Excerpts from Adam Chlipala's message of Tue Nov 30 00:37:53 +0100 2010:
Couldn't you just as easily write a C function that takes options as
input and then always executes verify-pay-confirm with those options?
That would make sure the Ur/Web layer can't introduce zany
non-transactional
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 12/1/10 5:45 PM, sampath kirupa shankar wrote:
Hi everybody,
I am Kirupashankar Sampath, a grad student at CSU Fresno, CA. I am
interested in Ur and have started a project of proving the safety
theorems of Ur language. I am not able to install