<div dir="ltr">Hi everybody,<div><br></div><div>My solutions to some of the exercises we&#39;ve discussed (mostly in Agda) can be found on my Github account at <a href="https://github.com/ystael/hott-sandbox">https://github.com/ystael/hott-sandbox</a> .</div>
<div><br></div><div>peace, Chris</div><div><br></div></div>