Post #2202427
2026-05-07 12:28 UTC
You can find slides for the TYPES2026 talk I just gave on my website: https://owenlynch.org/archive/2026-types/1.html.
These slides include hippogriff (https://tangled.org/owenlynch.tngl.sh/hippogriff/) compiled to WASM, so you can edit the code snippets and run them with ctrl-enter to see what happens.
Replies (2)
-
@eigil@mathstodon.xyz 2026-05-07 14:18
@olynch@mathstodon.xyz I like this way of displaying slides on the web - how did you make this?
-
@jhostert@mathstodon.xyz 2026-05-07 19:40
@olynch@mathstodon.xyz sadly this does not work on mobile--do you have a PDF export or recording somewhere?