<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>In the paper <a moz-do-not-send="true"
href="http://www.cse.chalmers.se/~peterd/papers/AgdaLectureNotes2018.pdf">AgdaLectureNotes2018</a>
of Peter Dybjer, there is this exercise page 19</p>
<p><span style="left: 247.853px; top: 806.103px; font-size:
16.6043px; font-family: serif; transform: scaleX(0.811587);">Exercise:
prove symmetry and transitivity using subst but without using
pattern matching</span><span style="left: 222.947px; top:
826.028px; font-size: 16.6043px; font-family: serif; transform:
scaleX(0.796068);">! <br>
</span></p>
<p><span style="left: 222.947px; top: 826.028px; font-size:
16.6043px; font-family: serif; transform: scaleX(0.796068);">I
don't find the solution, can you help me to solve it ?<br>
</span></p>
<div class="moz-signature">-- <br>
courriel : <a class="moz-txt-link-abbreviated"
href="mailto:michel.levy.imag@free.fr">michel.levy.imag@free.fr</a>
<br>
mobile : 06 59 13 42 53<br>
web : michel.levy.imag.free.fr </div>
</body>
</html>