Collection of slides, notes, and posters for public talks I've given.
Let’s scratch the surface of the power of Richard Eisenberg’s singletons library and peek through the doors of opportunity that it opens for us. Learn things you can directly apply now, and also build a foundation for future learning.
Look past the hype and see how the singletons library can benefit your programs today through type safety and dependently typed programming!