From 613c16b54627b50f2aab32fa05f735ad3b0cbc3e Mon Sep 17 00:00:00 2001
From: Rotsor <rotsor@gmail.com>
Date: Wed, 19 Apr 2017 22:15:18 +0100
Subject: [PATCH] Emacs mode: ignore backslash character

Emacs treats the '\' as an escape character by default, which means it sees `\(foo : x) -> bar` as having unbalanced parentheses and therefore `forward-sexp` and related functions don't work.
---
 cubicaltt.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cubicaltt.el b/cubicaltt.el
index a0a9198..e1b6070 100644
--- a/cubicaltt.el
+++ b/cubicaltt.el
@@ -90,6 +90,7 @@
     (modify-syntax-entry ?\}  "){4nb" st)
     (modify-syntax-entry ?-  "_ 123" st)
     (modify-syntax-entry ?\n ">" st)
+    (modify-syntax-entry ?\\ "." st)
     st)
   "The syntax table for cubical, with Haskell-style comments.")
 
-- 
2.34.1