diff --git a/docs/lang.rst b/docs/lang.rst
index 9ff59b5c..c1a79c7c 100644
--- a/docs/lang.rst
+++ b/docs/lang.rst
@@ -19,6 +19,7 @@ At the REPL start-up time, some usuful built-in libraries listed below will be a
 - ``(scheme time)``
 - ``(scheme case-lambda)``
 - ``(scheme read)``
+- ``(scheme eval)``
 
 Compliance with R7RS
 ---------------------
@@ -45,12 +46,12 @@ section                                          status     comments
 4.2.2 Binding constructs                         yes
 4.2.3 Sequencing                                 yes
 4.2.4 Iteration                                  yes
-4.2.5 Delayed evaluation                         N/A
+4.2.5 Delayed evaluation                         yes
 4.2.6 Dynamic bindings                           yes
 4.2.7 Exception handling                         yes        ``guard`` syntax.
 4.2.8 Quasiquotation                             yes        can be safely nested. TODO: multiple argument for unquote
-4.2.9 Case-lambda                                N/A
-4.3.1 Bindings constructs for syntactic keywords incomplete [#]_
+4.2.9 Case-lambda                                yes
+4.3.1 Bindings constructs for syntactic keywords yes [#]_
 4.3.2 Pattern language                           yes        ``syntax-rules``
 4.3.3 Signaling errors in macro transformers     yes
 5.1 Programs                                     yes
@@ -60,7 +61,7 @@ section                                          status     comments
 5.3.3 Multiple-value definitions                 yes
 5.4 Syntax definitions                           yes
 5.5 Recored-type definitions                     yes
-5.6.1 Library Syntax                             incomplete In picrin, libraries can be reopend and can be nested.
+5.6.1 Library Syntax                             yes        In picrin, libraries can be reopend and can be nested.
 5.6.2 Library example                            N/A
 5.7 The REPL                                     yes
 6.1 Equivalence predicates                       yes
@@ -79,12 +80,12 @@ section                                          status     comments
 6.8 Vectors                                      yes
 6.9 Bytevectors                                  yes
 6.10  Control features                           yes
-6.11 Exceptions                                  yes        ``raise-continuable`` is not supported
-6.12 Environments and evaluation                 N/A
+6.11 Exceptions                                  yes
+6.12 Environments and evaluation                 yes
 6.13.1 Ports                                     yes
 6.13.2 Input                                     yes
 6.13.3 Output                                    yes
 6.14 System interface                            yes
 ================================================ ========== ==========================================================================================================================
 
-.. [#] Picrin provides hygienic macros in addition to so-called legacy macro (``define-macro``), such as syntactic closure, explicit renaming macro, and implicit renaming macro. As of now let-syntax and letrec-syntax are not provided.
+.. [#] Picrin provides hygienic macros in addition to so-called legacy macro (``define-macro``), such as syntactic closure, explicit renaming macro, and implicit renaming macro.