Functional programming 无法在agda中安装默认库

尝试遵循以下指南：

在“检查Agda标准库是否正确安装”之后的零件上，获取以下信息：

$ agda -v 2 nats.agda
Checking nats (C:\Users\AuSeR\agda\nats.agda).
C:\Users\AuSeR\agda\nats.agda:1,1-21
Failed to find source of module Data.Nat in any of the following
locations:
  C:\Users\AuSeR\agda\Data\Nat.agda
  C:\Users\AuSeR\agda\Data\Nat.lagda
  C:\Users\AuSeR\agda\.stack-work\install\5f9701df\share\x86_64-windows-ghc-8.8.3\Agda-2.6.1.1\lib\prim\Data\Nat.agda
  C:\Users\AuSeR\agda\.stack-work\install\5f9701df\share\x86_64-windows-ghc-8.8.3\Agda-2.6.1.1\lib\prim\Data\Nat.lagda
when scope checking the declaration
  open import Data.Nat

正在尝试查看库文件的位置：

$ agda -l fjdsk Dummy.agda
 Library 'fjdsk' not found.
 Add the path to its .agda-lib file to
   'C:\Users\AuSeR\AppData\Roaming\agda\libraries'
 to install.
 Installed libraries:
   (none)

库文件如下所示：

C:\Users\AuSeR\agda\agda stdlib\standard-library.agda-lib

默认设置如下：

标准库