Liquid Haskell Workshop @ Lambda World 2025

Materials for the Liquid Haskell Workshop at Lambda World 2025.

• tutorial/ – hands-on exercises and examples
• install.org – installation guide (Org format)
• install.pdf – installation guide (PDF format)
• slides.pdf – workshop slides
• notes.pdf – notes about the content covered in the workshop