More.

smimram · Dec 3, 2024 · 7a51b69 · 7a51b69
1 parent adfed24
commit 7a51b69
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/examples/curry.cccatt b/examples/curry.cccatt
@@ -31,7 +31,9 @@ coh P2 {a b : .} : a * b -> b
 coh T : 1
 
 coh P1P {a b : .} (x : a) (y : b) : ap P1 (ap (ap P x) y) = x
+
 coh P2P {a b : .} (x : a) (y : b) : ap P2 (ap (ap P x) y) = y
+
 coh Peta {a b : .} (x : a * b) : ap (ap P (ap P1 x)) (ap P2 x) = x
 
 coh prod1 {a b c : .} : ap (ap S (ap K (ap S (ap K (ap S (ap K P1)))))) (ap (ap S (ap K S)) (ap S (ap K P))) = K {a -> c} {a -> b}

diff --git a/web/highlight.js b/web/highlight.js
@@ -6,9 +6,9 @@
     return {
       case_insensitive: false,
       keywords: {
-        $pattern: /[->a-z:*=×→]+/,
+        $pattern: /[->a-z:*=×→.]+/,
         keyword: ['coh','=',':='],
-        operator: ['->','→','*','×',':']
+        operator: ['->','→','*','×',':','.']
       },
       contains: [
         {