Skip to content

README.md

Latest commit

 

History

History
9 lines (7 loc) · 414 Bytes

README.md

File metadata and controls

9 lines (7 loc) · 414 Bytes
Raw

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