@@ -11,8 +11,8 @@ ICFP 2010
11paper <http://eb.host.cs.st-andrews.ac.uk/writings/icfp10.pdf>`__.
11paper <http://eb.host.cs.st-andrews.ac.uk/writings/icfp10.pdf>`__.
12Please refer to this for more precise definitions of what follows.)
12Please refer to this for more precise definitions of what follows.)
14−Partial evaluation is switched on by default. It can be disabled with
14+Partial evaluation is switched off by default since Idris 1.0. It can
15−the ``--no-partial-eval`` flag.
15+be enabled with the ``--partial-eval`` flag.
17Introductory Example
17Introductory Example
18--------------------
18--------------------