From a8cd8bc18bf0da35d9bf2d25552b25cf5998a6ee Mon Sep 17 00:00:00 2001 From: Jacob Shaffer Date: Mon, 14 Nov 2016 08:45:10 -0500 Subject: [PATCH] Added link to README about nasal demons. --- README.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.rst b/README.rst index b98a4893fa..5656547e49 100644 --- a/README.rst +++ b/README.rst @@ -19,7 +19,7 @@ Cretonne is designed to be a code generator for WebAssembly with these design goals: No undefined behavior - Cretonne does not have a nasal demons clause, and it won't generate code + Cretonne does not have a `nasal demons clause `_, and it won't generate code with unexpected behavior if invariants are broken. Portable semantics As far as possible, Cretonne's input language has well-defined semantics