diff options
| -rw-r--r-- | site/posts/CoqffiEcho.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org index b9c531e..8d48c48 100644 --- a/site/posts/CoqffiEcho.org +++ b/site/posts/CoqffiEcho.org @@ -333,7 +333,7 @@ typeclass. #+BEGIN_SRC coq :tangle coqffi-tutorial/src/Server.v Notation "'let_rec*' f x ':=' p 'in' q" := (let f := mfix (fun f x => p) in q) - (at level 61, x pattern, f ident, q at next level, right associativity). + (at level 61, x pattern, f name, q at next level, right associativity). #+END_SRC Note that ~mfix~ does /not/ check whether or not the defined function |