diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-02-04 17:39:46 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-02-04 17:39:46 +0100 |
| commit | 529d127667a366f306f975b3ed34e8a118f3cefc (patch) | |
| tree | 01be59b0bfbe21e3691e81cf08bcfe39f0be08ee /thesis.tex | |
| parent | 3439c87294a7e25cea88632cdcc0630d4f3746bc (diff) | |
| download | incremental-dfsts-529d127667a366f306f975b3ed34e8a118f3cefc.tar incremental-dfsts-529d127667a366f306f975b3ed34e8a118f3cefc.tar.gz incremental-dfsts-529d127667a366f306f975b3ed34e8a118f3cefc.tar.bz2 incremental-dfsts-529d127667a366f306f975b3ed34e8a118f3cefc.tar.xz incremental-dfsts-529d127667a366f306f975b3ed34e8a118f3cefc.zip | |
Define DFSTs
Diffstat (limited to 'thesis.tex')
| -rw-r--r-- | thesis.tex | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -3,4 +3,3 @@ Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlic | |||
| 3 | 3 | ||
| 4 | \input{./edit-lens/src/Control/Edit.lhs} | 4 | \input{./edit-lens/src/Control/Edit.lhs} |
| 5 | \input{./edit-lens/src/Control/Lens/Edit.lhs} | 5 | \input{./edit-lens/src/Control/Lens/Edit.lhs} |
| 6 | \input{./edit-lens/src/Control/Edit/Tree.lhs} | ||