diff options
Diffstat (limited to 'edit-lens/src/Control')
-rw-r--r-- | edit-lens/src/Control/Lens/Edit.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/edit-lens/src/Control/Lens/Edit.lhs b/edit-lens/src/Control/Lens/Edit.lhs index 29b34ce..7a6cbbe 100644 --- a/edit-lens/src/Control/Lens/Edit.lhs +++ b/edit-lens/src/Control/Lens/Edit.lhs | |||
@@ -1,5 +1,5 @@ | |||
1 | Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen. | 1 | Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen. |
2 | Dabei werden wir sowohl die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen: | 2 | Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen: |
3 | 3 | ||
4 | \begin{code} | 4 | \begin{code} |
5 | {-# LANGUAGE TypeFamilies | 5 | {-# LANGUAGE TypeFamilies |