LeeWendao

代码： ```haskell type family (n :: Nat) * (m :: Nat) :: Nat where Z * m = Z S n * m = (n * m) + m ```...

原文： ``` GHC的运行时系统是通过C语言和C--它的主要用途是为 Haskell 程序运行提供一个平台 ```

第八行 ： “具体计算一个类型的阶”——“具体计算一个类型的秩” 第十一行少了个逗号： “forall 关键字限定的类型其中”——“forall 关键字限定的类型，其中”

🥰Thank you sir for writing such repository which helps me to understand the viewport. But the README's live version is outdated.I suggest you can deploy it with GithubPages.And I think...

Solve:#4

Due to the terminal's `localeEncoding`,it may occurs error like: ```haskell ghci> uprint "🥰" "*** Exception: : hPutChar: invalid argument (invalid character) ``` For this,the solution is set `localeEncoding` to `utf-8`,refering...