Refinement-Types Driven Development: A study @ IFL 2025 - View it on GitHub