diff options
Diffstat (limited to 'edit-lens/src/Control/Lens/Edit.lhs')
| -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 |