doc(simulation): remove Wen

wenkokke · wenkokke · commit 0cbf02ea090a · 2025-03-24T12:19:54.000Z
diff --git a/simulation/docs/sim-realism.tex b/simulation/docs/sim-realism.tex
@@ -103,7 +103,6 @@
 }
 \date{Version 1.0, April 2021}
 \author{Andrea Vezzosi     \\ {\small \texttt{andrea@well-typed.com}} \\
-\and Wen Kokke          \\ {\small \texttt{wen@well-typed.com}} \\
 \and Duncan Coutts      \\ {\small \texttt{duncan@well-typed.com}}
 }
 

Original file line number	Diff line number	Diff line change
`@@ -103,7 +103,6 @@`
`103`	`103`	`}`
`104`	`104`	`\date{Version 1.0, April 2021}`
`105`	`105`	`\author{Andrea Vezzosi \\ {\small \texttt{[email protected]}} \\`
`106`		`-\and Wen Kokke \\ {\small \texttt{[email protected]}} \\`
`107`	`106`	`\and Duncan Coutts \\ {\small \texttt{[email protected]}}`
`108`	`107`	`}`
`109`	`108`