GitHub - tweag/ifl2025-liquidhaskell: Refinement-Types Driven Development: A study @ IFL 2025 · GitHub

Name		Name	Last commit message	Last commit date
src		src
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
main.pdf		main.pdf
main.tex		main.tex
references.bib		references.bib
shell.nix		shell.nix

Repository files navigation

This repository contains the paper "Refinement-Types Driven Development: A study" and its artifact, accepted to IFL 2025.

About

Refinement-Types Driven Development: A study @ IFL 2025

Code of conduct

Custom properties

1 star

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages