diff --git a/.github/workflows/type_check.yml b/.github/workflows/type_check.yml
index 072ad6a03ab55cb2022f10d4093b4532ef69241f..d965629a1ef3107e82c91e30b3c78d37eb1ede78 100644
--- a/.github/workflows/type_check.yml
+++ b/.github/workflows/type_check.yml
@@ -50,3 +50,8 @@ jobs:
       run: |
         eval $(opam env)
         lambdapi check paper/*.lp
+
+    - name: check prelude
+      run: |
+        eval $(opam env)
+        lambdapi check prelude/*.lp