diff options
| author | Camil Staps | 2016-06-10 10:36:49 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-10 15:20:38 +0200 |
| commit | 97325a5ef30b63c68adaffb69a0bcfa7f1135d64 (patch) | |
| tree | 3d540a204f4db970444e92cf3b35b6cd1585a5a3 /SmurfParse.dcl | |
| parent | Minimalistic prover (diff) | |
Induction proofs using variables & assumptions
Diffstat (limited to 'SmurfParse.dcl')
| -rw-r--r-- | SmurfParse.dcl | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/SmurfParse.dcl b/SmurfParse.dcl index fb06ab3..e0ad868 100644 --- a/SmurfParse.dcl +++ b/SmurfParse.dcl @@ -2,7 +2,14 @@ definition module SmurfParse from Data.Maybe import ::Maybe -from Smurf import ::Program, ::Stm +from Smurf import ::Program, ::Stm, ::Expr + +:: VarChar = Char Char + | VarString String + | Quoted Expr + +eToVarChars :: Expr -> [VarChar] parse :: ![Char] -> Maybe Program +parsev :: ![VarChar] -> Maybe Program |