Commit 7f6518ca authored by Austin Seipp's avatar Austin Seipp
Browse files

s/TypeNats/DataKinds/ in release notes.


Signed-off-by: default avatarAustin Seipp <austin@well-typed.com>
parent 3ee47002
...@@ -32,7 +32,7 @@ ...@@ -32,7 +32,7 @@
<para> <para>
GHC can now perform simple evaluation of type-level GHC can now perform simple evaluation of type-level
natural numbers, when using the natural numbers, when using the
<literal>TypeNats</literal> extension. For example, <literal>DataKinds</literal> extension. For example,
given a type-level constraint such as <literal>(x + 3) given a type-level constraint such as <literal>(x + 3)
~ 5</literal>, GHC is able to infer that ~ 5</literal>, GHC is able to infer that
<literal>x</literal> is 2. Similarly, GHC can now <literal>x</literal> is 2. Similarly, GHC can now
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment