🚀 Literate Programming with Refinement Types, awarded runner up best dissertation at University of Nottingham 2024.
