diff options
Diffstat (limited to 'src/Sequence/Formula.hs')
| -rw-r--r-- | src/Sequence/Formula.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Sequence/Formula.hs b/src/Sequence/Formula.hs index 4f2e61b..4830788 100644 --- a/src/Sequence/Formula.hs +++ b/src/Sequence/Formula.hs | |||
| @@ -3,7 +3,7 @@ | |||
| 3 | module Sequence.Formula | 3 | module Sequence.Formula |
| 4 | ( FormulaM, Formula, quot' | 4 | ( FormulaM, Formula, quot' |
| 5 | , (:<:)(..), Context(..), ctx | 5 | , (:<:)(..), Context(..), ctx |
| 6 | , evalFormula | 6 | , evalFormula, evalFormula' |
| 7 | , val | 7 | , val |
| 8 | , d, z | 8 | , d, z |
| 9 | , Table, table | 9 | , Table, table |