diff options
| author | Camil Staps | 2015-07-06 16:35:52 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-06 16:35:52 +0200 |
| commit | ca22479120810e5e0a79f1ec2bcd01ed26152fdb (patch) | |
| tree | 1a050f37ff010374182129d56a33c50eb84f7df5 /Logic.dcl | |
| parent | Fix show for expressions (parentheses); allow parentheses in input (diff) | |
Adhere to Clean library standards, i.e. don't import too much
Diffstat (limited to 'Logic.dcl')
| -rw-r--r-- | Logic.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -23,7 +23,8 @@ */ definition module Logic -import StdEnv, StdMaybe +from StdOverloaded import class <, class == +from StdMaybe import :: Maybe // Expressions :: Expr = B Bool // A constant |