Artifact for "Usability Barriers for Liquid Types"

This artifact contains all components related to our qualitative study on developer experiences with LiquidHaskell for the paper "Usability Barriers for Liquid Types". It includes the recruitment documents, study protocols, and interview guides used with our participant groups (new users, current users, and former users), as well as the LiquidHaskell tutorial website used during our observation sessions with new users. Additionally, it contains the complete codebook of our thematic analysis with code definitions and example quotes that directly correspond to the findings presented in our paper. All materials are provided as PDF documents and spreadsheets, requiring only standard viewing software. The artifact demonstrates the methodological rigor of our qualitative approach and enables replication of our study procedures.