update?

dannypsnl · dannypsnl · commit ed40ae6d6d11 · 2021-12-24T13:35:37.000+08:00
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -24,7 +24,7 @@ jobs:
           version: 'current'
       - name: Build
         run: |
-          raco pkg install --auto --skip-installed riposte semilit monotonic
+          raco pkg install --auto -i riposte semilit monotonic nanopass
           make build
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
diff --git a/info.rkt b/info.rkt
diff --git a/post/2020-12-26-frontend-to-nanopass.scrbl b/post/2020-12-26-frontend-to-nanopass.scrbl
@@ -1,5 +1,9 @@
 #lang scribble/manual
-@(require (for-label racket))
+@(require (for-label racket
+                     (only-in nanopass
+                              define-language
+                              define-pass
+                              terminals)))
 
 @title{從 frontend(compiler) 到 nanopass}
 @author[(author+email "Lîm Tsú-thuàn" "dannypsnl@gmail.com")]
