diff options
-rw-r--r-- | docs/users_guide/9.6.1-notes.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/9.6.1-notes.rst b/docs/users_guide/9.6.1-notes.rst index 2dadfc1785..67a7643d97 100644 --- a/docs/users_guide/9.6.1-notes.rst +++ b/docs/users_guide/9.6.1-notes.rst @@ -155,6 +155,8 @@ Compiler modules for execution (e.g. when evaluating TH splices). This avoids the considerable code generation and linking costs of native code, which is often unnecessary for one-off Template Haskell splices. + See this `blog post <https://well-typed.com/blog/2023/02/interface-files-with-core/>`_ + for details. - The :extension:`TypeInType` is now marked as deprecated. Its meaning has been included in :extension:`PolyKinds` and :extension:`DataKinds`. |