sourcephile
/
git
/
haskell
/
symantic-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9deffb8
)
doc: fix typo in `ToFer`
author
Julien Moutinho
<julm@sourcephile.fr>
Tue, 20 Jun 2023 21:41:36 +0000
(23:41 +0200)
committer
Julien Moutinho
<julm@sourcephile.fr>
Tue, 20 Jun 2023 21:41:36 +0000
(23:41 +0200)
src/Symantic/Semantics/ToFer.hs
patch
|
blob
|
history
diff --git
a/src/Symantic/Semantics/ToFer.hs
b/src/Symantic/Semantics/ToFer.hs
index 5225a9e9fdaa7d1dd939dafc4b807d03091d4c7d..3192f73bd77f239e89f0a86be7273775edcf13cb 100644
(file)
--- a/
src/Symantic/Semantics/ToFer.hs
+++ b/
src/Symantic/Semantics/ToFer.hs
@@
-21,7
+21,7
@@
import Symantic.Syntaxes.TuplesOfFunctions
-- | The 'ToFer' intermediate interpreter
-- return Tuples-of-Functions instead of Eithers-of-Tuples.
--
--- In other words, i
f
transforms 'SumFunctor' into functions returning @(sem next)@
+-- In other words, i
t
transforms 'SumFunctor' into functions returning @(sem next)@
-- and 'ProductFunctor' into arguments of those functions.
--
-- This is like using an extension parameter introduced in