diff --git a/templates/c++/lr.h b/templates/c++/lr.h
index 73b0b1e..71df638 100644
--- a/templates/c++/lr.h
+++ b/templates/c++/lr.h
@@ -34,7 +34,6 @@ class {{name}} {
          */
         Value parse();
 
-
     protected:
         /**
          * A token, consisting of a Symbol type (should be a terminal) and a Value
@@ -74,6 +73,28 @@ class {{name}} {
     private:
 };
 
+template <>
+class {{name}}<bool> {
+    public:
+        {{name}}() {}
+        virtual ~{{name}}() {}
+
+        /**
+         * Parse it
+         */
+        Value parse();
+
+    protected:
+        /******************************************
+        *  Functions to be supplied by the user  *
+        ******************************************/
+
+        /**
+         * Get the next token from the lexer
+         */
+        virtual {{name}}_Symbol lex() = 0;
+};
+
 #define TABLE {{name}}___Table___{{name}}
 #define REDUCE_COUNT {{name}}___Num_Reduces___{{name}}
 // Not a static member because the table should not be replicated for different instantiations of the parser
@@ -202,6 +223,47 @@ Value {{name}}<Value>::parse() {
         }
     }
 }
+
+template <>
+Value {{name}}<bool>::parse() {
+    std::stack<std::uint64_t> stateStack;
+    using Sym = {{name}}_Symbol;
+
+    stateStack.push(0);
+    Sym tok = lex();
+
+    while (true) {
+        std::uint64_t act = TABLE[stateStack.top()][static_cast<std::uint64_t>(tok)];
+
+       switch (act & 0x3) {
+            case ERROR:
+                return false;
+            case SHIFT:
+                stateStack.push(act >> 2);
+                tok = lex();
+                break;
+            case REDUCE:
+                {
+                    std::uint64_t tmp = act >> 2;
+                    Sym symbol = static_cast<Sym>(tmp >> 31);
+                    std::uint32_t rule = tmp & ((1ull << 31) - 1);
+
+                    for (unsigned char i = 0; i < REDUCE_COUNT[rule]; i++) {
+                        stateStack.pop();
+                    }
+
+                    stateStack.push(TABLE[stateStack.top()][static_cast<std::uint64_t>(symbol)] >> 2);
+                }
+                break;
+            case ACCEPT:
+                assert(stateStack.size() == 2);
+                return true;
+            default:
+                //IMPOSSIBLE
+                break;
+        }
+    }
+}
 #undef REDUCE_COUNT
 #undef TABLE