From 6ff517a8e4227d9489c7b771984dda7508a8158b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 17:24:29 +0200
Subject: Improved parser

---
 Logic.dcl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Logic.dcl')

diff --git a/Logic.dcl b/Logic.dcl
index 7e50822..1a0821b 100644
--- a/Logic.dcl
+++ b/Logic.dcl
@@ -85,6 +85,7 @@ subexprs :: Expr -> [Expr]                  // Subexpressions of an expression
 sorted_subexprs :: (Expr -> [Expr])         // Similar, but roughly sorted by complexity
 
 simple_truthtable :: Expr -> TruthTable     // Simple truthtable: only the atomic expression and the expression itself
+simple_truthtable_n :: [Expr] -> TruthTable // Simple truthtable with multiple expressions
 truthtable :: Expr -> TruthTable            // Truthtable from an expression
 
 parse :: String -> Expr                     // Parse a string into an expression
-- 
cgit v1.2.3