Nice talking to you guys

[Michael Kerekes]

Thanks for listening today.  I learned a lot about where the pain points are if I ever present about dependent types again.

I mentioned after some of you left that my next project is to do something like https://www.shadertoy.com/ but with a functional shading language instead of GLSL.  Of course, I'm doing everything from scratch, starting with rendering my own text.  If anyone is interested in collaborating let me know.