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...
Loading...
seen from T1
seen from South Africa
seen from China
seen from United States
seen from T1
seen from Greece
seen from China
seen from United States
seen from United States
seen from United States
seen from United States
seen from United States
seen from United States
seen from United Kingdom
seen from China
seen from United States
seen from T1
seen from Hong Kong SAR China
seen from Italy
seen from China
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...
Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
Free to watch • No registration required • HD streaming