gdp icon indicating copy to clipboard operation
gdp copied to clipboard

Published 20 hours ago • verified publisher icon matt-noonan

Proof has phantom role

Open Lysxia opened this issue 2 years ago • 0 comments 

bad :: Proof p -> Proof q
bad = coerce

contra :: Proof FALSE
contra = coerce true

Lysxia avatar Mar 09 '23 12:03 Lysxia