diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 1a155faa..63bedd62 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -10,7 +10,29 @@ on:
     - main
 jobs:
   check:
+    if: false  # FIXME: The `agda2hs` step fails.
     name: Typecheck Agda
+    runs-on: ubuntu-latest # or macOS-latest, or windows-latest
+    steps:
+    - name: 📥 Checkout repository
+      uses: actions/checkout@v4
+    # Setup Agda 2.6.3 with recommended version of agda-stdlib and
+    # uses standard-library as default
+    - name: ❄ Setup Agda
+      uses: wenkokke/setup-agda@v2
+      with:
+        agda-version: '2.6.3'
+        agda-stdlib-version: 'recommended'
+        agda-defaults: |
+          standard-library
+        agda-libraries: |
+          https://github.com/agda/agda2hs.git#v1.2
+    - name: ❓ Typecheck
+      run: |
+        make typecheck
+  typecheck:
+    if: true  # FIXME: Consider disabling until caching is set up.
+    name: Typecheck Agda and generate Haskell
     runs-on: ubuntu-latest
     steps:
     - name: 📥 Checkout repository
@@ -25,6 +47,6 @@ jobs:
           trusted-public-keys = ${{ env.TRUSTED_PUBLIC_KEYS }}
           substituters = ${{ env.SUBSTITUTERS }}
           experimental-features = nix-command flakes
-    - name: 🧪 Evaluate test derivation
+    - name: 🧪 Evaluate typecheck derivation
       run: |
         nix build --show-trace .#peras
diff --git a/Logbook.md b/Logbook.md
index 29378a37..f632d082 100644
--- a/Logbook.md
+++ b/Logbook.md
@@ -1,5 +1,14 @@
 ## 2024-02-08
 
+### BB - Nix, Agda, and Haskell housekeeping
+
+1. Reconciled Haskell package dependencies.
+2. Included pre-built Agda standard library.
+3. Added `nix build .#peras` for building the Peras library in Agda and Haskell.
+4. Nix-based CI.
+
+*Issue:* the Nix-based CI test takes ~28 minutes, but this will be far faster when caching is enabled.
+
 ### Pairing session - Agda modelling of messages
 
 Some resources on agda2hs: