Sep 7, 2014
Refinement types do exhaustiveness checking!
The partial cases are assigned logical goal False, and the SMT solver needs to show they are not possible. This is one of the reasons I now believe in refinement types...
#project hail mary- #the amazing digital circus
#dc comics#batman#dc#bruce wayne#tim drake#dick grayson#batfam#dc fanart#batfamily
#cats of tumblr- #critical role
#wlw- #iron lung
#lana del rey