WITS 2026: First-Class Refinement Types in Scala 3

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
images		images
.gitattributes		.gitattributes
.gitignore		.gitignore
Makefile		Makefile
Readme.md		Readme.md
custom.css		custom.css
presentation.html		presentation.html
presentation.md		presentation.md
presentation.pdf		presentation.pdf
refs.bib		refs.bib
talk_proposal.pdf		talk_proposal.pdf
talk_proposal.tex		talk_proposal.tex

Provide feedback