histre

Confirm Delete

Are you sure you want to permanently delete this note from your account?

Confirm Remove

Are you sure you want to remove this note from this notebook?

Confirm Delete

Are you sure you want to permanently delete this history from the note?

▶ Ranjit Jhala - Liquid Haskell - YouTube
www.youtube.com
Link to note Share
show more
dependent-types haskell pub refinement-types type-theory
Selection